Documentation tweaks.
commitb0bc376b371bd6d907a2c42248bc2b928c32d333
authorJose Antonio Ortega Ruiz <jao@gnu.org>
Mon, 21 Jun 2010 23:06:58 +0000 (22 01:06 +0200)
committerJose Antonio Ortega Ruiz <jao@gnu.org>
Mon, 21 Jun 2010 23:06:58 +0000 (22 01:06 +0200)
tree954c14fe7086ad58b1dd2f2293e1d1134b9c1810
parent7812150d033cf58036d0b5cea0ca59581681fb17
Documentation tweaks.
doc/geiser.css
doc/geiser.texi
doc/index.texi
doc/install.texi
doc/intro.texi
doc/quick.texi [deleted file]
doc/site.conf