diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-10-15 16:33:23 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-10-15 16:33:23 +0200 |
| commit | 9c81d06313fb0b1b8cfec1b657afb1db35e97056 (patch) | |
| tree | fb697ec9871bcd15482a2b93a00ff469b544a3fa /doc/site.conf | |
| parent | cd54c07751d8a8b6ce795b04e39ba745af58f576 (diff) | |
| download | geiser-9c81d06313fb0b1b8cfec1b657afb1db35e97056.tar.gz geiser-9c81d06313fb0b1b8cfec1b657afb1db35e97056.tar.bz2 | |
Documentation nits
Diffstat (limited to 'doc/site.conf')
| -rw-r--r-- | doc/site.conf | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/site.conf b/doc/site.conf index 7c42a1e..c8b55a9 100644 --- a/doc/site.conf +++ b/doc/site.conf @@ -2,6 +2,9 @@ $DO_CONTENTS = 0; $DO_SCONTENTS = 0; +$PREFIX = geiser; +$NODE_FILES = 0; +$SEPARATED_FOOTNOTES = 0; @MISC_BUTTONS = (); @CHAPTER_BUTTONS = ('FastBack', 'FastForward', 'Top'); |