manual: install manual conversion result files generated by cmake
authorGerhard Sittig <gerhard.sittig@gmx.net>
Sun, 14 Oct 2018 13:54:56 +0000 (15:54 +0200)
committerUwe Hermann <uwe@hermann-uwe.de>
Sat, 27 Oct 2018 19:25:22 +0000 (21:25 +0200)
Install the (optionally generated) HTML and PDF manual files. Absence of
the files is non-fatal.


No differences found