doc: an optional all-in-one-file manual

This commit is contained in:
Tony Finch
2017-12-21 18:25:59 +00:00
committed by Ian Barwick
parent 407a7ea2f4
commit 5804778b58
2 changed files with 10 additions and 3 deletions

2
doc/.gitignore vendored
View File

@@ -2,4 +2,6 @@ HTML.index
bookindex.sgml
html-stamp
html/
nochunks.dsl
repmgr.html
version.sgml