Petr Menšík 77e9d82e1f Use make automatic variables to install updated manuals ...

Make will choose modified manual from build directory or original from source
directory automagically. Take advantage of install tool feature.
Install all files in single command instead of iterating on each of them.

(cherry picked from commit 88f913ac81)

2018-08-01 16:29:11 +10:00

2.3 KiB

Raw Blame History

View Raw