diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-06-19 23:35:21 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-06-19 23:35:21 +0200 |
| commit | 833a32dd12ee1c4a7c790efdff7dadc0f927971e (patch) | |
| tree | 3e3da2d5f67d802e9d287ea795daf0c9bb4e3eff /doc/index.texi | |
| parent | b374cd559a733faa869bab9ac45422396de33990 (diff) | |
| download | geiser-833a32dd12ee1c4a7c790efdff7dadc0f927971e.tar.gz geiser-833a32dd12ee1c4a7c790efdff7dadc0f927971e.tar.bz2 | |
The humble beginnings of a user's manual.
Diffstat (limited to 'doc/index.texi')
| -rw-r--r-- | doc/index.texi | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/doc/index.texi b/doc/index.texi new file mode 100644 index 0000000..e474130 --- /dev/null +++ b/doc/index.texi @@ -0,0 +1,14 @@ +@c This is part of Geiser's user manual., , Copying This Manual, Top +@c Copyright (C) 2010 Jose Antonio Ortega Ruiz +@c See the file geiser.texi for copying conditions. + +@node Index +@unnumbered Index + +@printindex cp + + +@c Local Variables: +@c mode: texinfo +@c TeX-master: "geiser" +@c End: |