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)

No differences found