OSDN Git Service

* update_web_docs (WWWBASE_PREFORMATTED, PREPROCESS): New
authorgerald <gerald@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 4 Jun 2001 14:12:47 +0000 (14:12 +0000)
committergerald <gerald@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 4 Jun 2001 14:12:47 +0000 (14:12 +0000)
commit1580af85fa12b48da3d5888ce74a8e689911958b
tree505c79f0fe0ab1d0f2601baa3e8e6b83aa1c5fc9
parentba04d9d58fcbb3ad131d9c29f752bee24f17c141
* update_web_docs (WWWBASE_PREFORMATTED, PREPROCESS): New
variables.
Fix a comment and add another one.
Generate the installation documentation in HTML format from
gcc/doc/install.texi.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@42849 138bc75d-0d04-0410-961f-82ee72b054a4
maintainer-scripts/ChangeLog
maintainer-scripts/update_web_docs