INSTALL: Update instructions for building the manual.
authorUwe Hermann <uwe@hermann-uwe.de>
Sat, 27 Oct 2018 19:43:41 +0000 (21:43 +0200)
committerUwe Hermann <uwe@hermann-uwe.de>
Sat, 27 Oct 2018 19:43:41 +0000 (21:43 +0200)
commit3cec89a397ec0aca6612d19069eab68b0e637182
tree387cd98a98f9e19f6becf5845225358ba8a40f43
parent2eab551b92747d525a7d342436ee297144bbe241
INSTALL: Update instructions for building the manual.
INSTALL