Remove ifnottex block confusing makeinfo 3.12.
authorRichard Henderson <rth@gcc.gnu.org>
Sun, 30 Apr 2000 10:50:57 +0000 (03:50 -0700)
committerRichard Henderson <rth@gcc.gnu.org>
Sun, 30 Apr 2000 10:50:57 +0000 (03:50 -0700)
commit4151b3135aaf6b0caa4f15bdfed73de9144ae737
tree84b8fa75c5cfeb556016c4490a71323a3c97a4a6
parent11ae508b7aa80d26c14bcf41c0ad8d7043ee378c
Remove ifnottex block confusing makeinfo 3.12.

From-SVN: r33545
gcc/gcc.texi