diff options
| author | Florian Weimer <fw@deneb.enyo.de> | 2002-05-31 18:50:45 +0200 |
|---|---|---|
| committer | Florian Weimer <fw@gcc.gnu.org> | 2002-05-31 18:50:45 +0200 |
| commit | 74c8dc7df9ed02d58e0eddec3f4d3c8bdb091ccb (patch) | |
| tree | 1721c55478b4313f4dc150985d54d239ec0edef6 /maintainer-scripts/update_web_docs | |
| parent | afdfb380cd910c98378cc61051a603698421c183 (diff) | |
| download | gcc-74c8dc7df9ed02d58e0eddec3f4d3c8bdb091ccb.zip gcc-74c8dc7df9ed02d58e0eddec3f4d3c8bdb091ccb.tar.gz gcc-74c8dc7df9ed02d58e0eddec3f4d3c8bdb091ccb.tar.bz2 | |
update_web_docs (MANUALS): Include various flavours of the GNAT User Guide.
2002-05-31 Florian Weimer <fw@deneb.enyo.de>
* update_web_docs (MANUALS): Include various flavours of the GNAT
User Guide.
From-SVN: r54109
Diffstat (limited to 'maintainer-scripts/update_web_docs')
| -rwxr-xr-x | maintainer-scripts/update_web_docs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/maintainer-scripts/update_web_docs b/maintainer-scripts/update_web_docs index 600d188..78d7180 100755 --- a/maintainer-scripts/update_web_docs +++ b/maintainer-scripts/update_web_docs @@ -94,7 +94,7 @@ cvs -Q co -r$RELEASE `cat FILES` gcc/gcc/doc/install.texi2html gcc/gcc/doc/inclu # and fdl.texi. includedir=gcc/gcc/doc/include -MANUALS="cpp cppinternals gcc gccint gcj g77 gnat-style gnat_rm libiberty porting" +MANUALS="cpp cppinternals gcc gccint gcj g77 gnat_ug_unx gnat_ug_vms gnat_ug_vxw gnat_ug_wnt gnat-style gnat_rm libiberty porting" # Now convert the relevant files from texi to HTML and PostScript. for file in $MANUALS; do |