(guile_TEXINFOS): Add tools.texi.
authorThien-Thi Nguyen <ttn@gnuvola.org>
Fri, 8 Mar 2002 21:24:30 +0000 (21:24 +0000)
committerThien-Thi Nguyen <ttn@gnuvola.org>
Fri, 8 Mar 2002 21:24:30 +0000 (21:24 +0000)
commitf394773de5634b870203811aee213dad48575757
tree20cfdf758bfd829696e6c5f518f7b0dbfd52bdb6
parent73ede5920e74809fa8797345e65fa343b2179938
(guile_TEXINFOS): Add tools.texi.
doc/ref/Makefile.am