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 | c1821b6269d541ae632158252f427cf98481966b (patch) | |
| tree | 57eb1a59f6a9b427bfdecc0891fc728729aa3497 /doc/site.conf | |
| parent | 800218e25fda834a04d7823633e8f966d53940e0 (diff) | |
| download | geiser-guile-c1821b6269d541ae632158252f427cf98481966b.tar.gz geiser-guile-c1821b6269d541ae632158252f427cf98481966b.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'); |