diff options
| author | jsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4> | 2002-12-22 21:48:29 +0000 |
|---|---|---|
| committer | jsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4> | 2002-12-22 21:48:29 +0000 |
| commit | c6e5371c5d11a537aba47b62f5e6e1a5d7f4d04d (patch) | |
| tree | e44f73e0b1787039054686799db99ed57df0808d /libjava/scripts/TexinfoDoclet.java | |
| parent | 876791dab28d2faa75fdbfa0cfdae4ded578f93a (diff) | |
| download | ppe42-gcc-c6e5371c5d11a537aba47b62f5e6e1a5d7f4d04d.tar.gz ppe42-gcc-c6e5371c5d11a537aba47b62f5e6e1a5d7f4d04d.zip | |
* treelang.texi: Use @ifnottex instead of @ifinfo.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@60417 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libjava/scripts/TexinfoDoclet.java')
0 files changed, 0 insertions, 0 deletions
