]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: afdfb38) | patch
update_web_docs (MANUALS): Include various flavours of the GNAT User Guide.
authorFlorian Weimer <fw@deneb.enyo.de>
Fri, 31 May 2002 16:50:45 +0000 (18:50 +0200)
committerFlorian Weimer <fw@gcc.gnu.org>
Fri, 31 May 2002 16:50:45 +0000 (18:50 +0200)
commit74c8dc7df9ed02d58e0eddec3f4d3c8bdb091ccb
tree1721c55478b4313f4dc150985d54d239ec0edef6tree | snapshot
parentafdfb380cd910c98378cc61051a603698421c183commit | diff
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
maintainer-scripts/ChangeLog diff | blob | blame | history
maintainer-scripts/update_web_docs diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git