summaryrefslogtreecommitdiff
path: root/doc/top.texi
diff options
context:
space:
mode:
authorJose Antonio Ortega Ruiz <jao@gnu.org>2010-06-22 01:47:58 +0200
committerJose Antonio Ortega Ruiz <jao@gnu.org>2010-06-22 01:47:58 +0200
commitf589a23f15b75798618c59f05c258cc8b8b39187 (patch)
tree863fdc2eaf40ce82cecc8ec86e9938c7022d49b7 /doc/top.texi
parent413f6f7afd466ec0e2da4c97f2f9b08407b6e155 (diff)
downloadgeiser-f589a23f15b75798618c59f05c258cc8b8b39187.tar.gz
geiser-f589a23f15b75798618c59f05c258cc8b8b39187.tar.bz2
Engaging texi files in some autotooling.
Diffstat (limited to 'doc/top.texi')
0 files changed, 0 insertions, 0 deletions