diff options
| author | jsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4> | 2001-05-03 15:49:22 +0000 |
|---|---|---|
| committer | jsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4> | 2001-05-03 15:49:22 +0000 |
| commit | d2c1dfe0efff6d9a0128839136f00084f478c26a (patch) | |
| tree | abe39fcc0550d3eb374a8d00aa24a6df2a9d3ab7 /maintainer-scripts/ChangeLog | |
| parent | 296ab3258dd4374dbd5843bde82aeb99db6552a6 (diff) | |
| download | gcc-d2c1dfe0efff6d9a0128839136f00084f478c26a.tar.gz | |
* update_web_docs: Don't generate HTML from gxxint.texi. Don't
run texi2html on manuals that aren't present.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@41789 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'maintainer-scripts/ChangeLog')
| -rw-r--r-- | maintainer-scripts/ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/maintainer-scripts/ChangeLog b/maintainer-scripts/ChangeLog index 62d922f236d..9d3a01dae87 100644 --- a/maintainer-scripts/ChangeLog +++ b/maintainer-scripts/ChangeLog @@ -1,3 +1,8 @@ +2001-05-03 Joseph S. Myers <jsm28@cam.ac.uk> + + * update_web_docs: Don't generate HTML from gxxint.texi. Don't + run texi2html on manuals that aren't present. + 2001-03-18 Phil Edwards <pme@sources.redhat.com> * update_web_docs_libstdcxx: New script. |