aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRoland Pesch <pesch@cygnus>1991-07-24 01:23:41 +0000
committerRoland Pesch <pesch@cygnus>1991-07-24 01:23:41 +0000
commit42078e79014ac8d528fad088cc93f8e686599d9e (patch)
treea1d79f36b5737dd488a5446631840b15c51f2cfd
parent8e71e6e376a472361de7da74058ac046b4b63906 (diff)
downloadgdb-42078e79014ac8d528fad088cc93f8e686599d9e.zip
gdb-42078e79014ac8d528fad088cc93f8e686599d9e.tar.gz
gdb-42078e79014ac8d528fad088cc93f8e686599d9e.tar.bz2
Added call to "make info", to generate:
-- gdb-all.texinfo (texinfo source after M4 processing) -- gdb.info (file compiled by makeinfo from texinfo-2 release)
-rw-r--r--gdb/.Sanitize2
1 files changed, 2 insertions, 0 deletions
diff --git a/gdb/.Sanitize b/gdb/.Sanitize
index cc0168c..6b6fbde 100644
--- a/gdb/.Sanitize
+++ b/gdb/.Sanitize
@@ -259,6 +259,8 @@ echo >depend
./config.gdb none
rm depend
make depend
+echo "Making GDB texinfo and info files"
+make gdb.info
echo Done in `pwd`.
# End of file.