projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6940319) | patch
update_web_docs: Use /usr/local/bin/texi2html rather than gccadmin's local copy.
authorJoseph Myers <jsm28@cam.ac.uk>
Thu, 15 Mar 2001 08:16:32 +0000 (08:16 +0000)
committerJoseph Myers <jsm28@gcc.gnu.org>
Thu, 15 Mar 2001 08:16:32 +0000 (08:16 +0000)
commit285b923177d0df0acc3e4c3a0a3fe54635c27b4e
tree01246eb74171ceceed30318a4812c3759a59b165tree
parent6940319403eaf5997bb06e34f0ab25ab15f7cd53commit | diff
update_web_docs: Use /usr/local/bin/texi2html rather than gccadmin's local copy.

* update_web_docs: Use /usr/local/bin/texi2html rather than
gccadmin's local copy.

From-SVN: r40489
maintainer-scripts/ChangeLog diff | blob | history
maintainer-scripts/update_web_docs diff | blob | history