Separate main texi file for web site.
commit58ab7aec6417e4410c0b5f886b16c8f49168fa7c
authorJose Antonio Ortega Ruiz <jao@gnu.org>
Sat, 26 Jun 2010 14:45:32 +0000 (26 16:45 +0200)
committerJose Antonio Ortega Ruiz <jao@gnu.org>
Sat, 26 Jun 2010 14:45:32 +0000 (26 16:45 +0200)
tree5664253eb9f9d7aa1db3c4f609e0e69ec5fa60dc
parent878f478f5a4b1d9e598d9caa425ee56ad3afb6ab
Separate main texi file for web site.
doc/Makefile.am
doc/geiser.texi
doc/top.texi [new file with mode: 0644]
doc/web.texi [new file with mode: 0644]