Install xmlto output to $(htmldir) automatically
authorSimon McVittie <simon.mcvittie@collabora.co.uk>
Tue, 12 Apr 2011 12:01:44 +0000 (13:01 +0100)
committerSimon McVittie <simon.mcvittie@collabora.co.uk>
Mon, 18 Jul 2011 18:24:15 +0000 (19:24 +0100)
commit53af0b903cf2a5c0fa7b948b1799d4c547889827
treee79f26c8c91c68a2e60a349a3755235c546ec659
parent37cb1522feaf764d15fd83a4c0e4f6910c13ae9b
Install xmlto output to $(htmldir) automatically

Also rename HTML_FILES to XMLTO_OUTPUT, as a more self-describing name:
we have other HTML files which are not the output from xmlto.

Bug: https://bugs.freedesktop.org/show_bug.cgi?id=36156
Reviewed-by: Will Thompson <will.thompson@collabora.co.uk>
doc/Makefile.am