diff options
author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2004-04-02 08:52:49 +0000 |
---|---|---|
committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2004-04-02 08:52:49 +0000 |
commit | 23dfa9924740e25984962a69c0c5bca4abdc1433 (patch) | |
tree | b57e6a31b9b335ae3d001648a6cea81e70ce648b /gcc/ada/gnat_rm.texi | |
parent | b2a24b6fe7d661e7f76d4ceef5f83518d94ea87e (diff) | |
download | gcc-23dfa9924740e25984962a69c0c5bca4abdc1433.tar.gz |
* gnat-style.texi, gnat_rm.texi, gnat_ugn.texi: Remove RCS tags.
Replace ifinfo by ifnottex, to make makeinfo --html happy again.
Add info directory entry and category.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@80349 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/gnat_rm.texi')
-rw-r--r-- | gcc/ada/gnat_rm.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi index 6c92458fda4..9a89b325cb7 100644 --- a/gcc/ada/gnat_rm.texi +++ b/gcc/ada/gnat_rm.texi @@ -53,7 +53,7 @@ entitled ``GNU Free Documentation License''. @end titlepage -@ifinfo +@ifnottex @node Top, About This Guide, (dir), (dir) @top GNAT Reference Manual @@ -382,7 +382,7 @@ GNU Free Documentation License Index @end menu -@end ifinfo +@end ifnottex @node About This Guide @unnumbered About This Guide |