mirror of
https://git.savannah.gnu.org/git/guile.git
synced 2025-05-29 00:10:21 +02:00
(guile_TEXINFOS): Add tools.texi.
This commit is contained in:
parent
107910135e
commit
30147b36d3
1 changed files with 1 additions and 1 deletions
|
@ -32,7 +32,7 @@ guile_TEXINFOS = preface.texi intro.texi scheme-intro.texi \
|
|||
scheme-reading.texi scheme-indices.texi slib.texi posix.texi \
|
||||
expect.texi scsh.texi tcltk.texi scripts.texi gh.texi scm.texi \
|
||||
appendices.texi indices.texi script-getopt.texi data-rep.texi \
|
||||
autoconf.texi autoconf-macros.texi \
|
||||
autoconf.texi autoconf-macros.texi tools.texi \
|
||||
extend.texi repl-modules.texi srfi-modules.texi misc-modules.texi
|
||||
|
||||
include $(top_srcdir)/am/pre-inst-guile
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue