ifinfo vs ifnottex

[Luc Teirlinck]

The Emacs manual contains several pieces of one type of text inside
@ifinfo and another inside @iftex.  As a result, text is missing in
all other types of output, except plaintext, which is covered by
@ifinfo.  This concerns, for instance html output.  Is there any
objection against changing these @ifinfo's to @ifnottex.  I will be
careful not to change legitimate @ifinfo's, like references to
info.texi or text saying that you are using the Info documentation
system or such.

The Elisp manual seems free of this except for gpl.texi.  Since this
has legal implications, I explicitly provide the proposed changes.  Is
there any reason for these titles not to occur in html and other
non-tex, non-info, non-plaintext formats?  The exactly same titles
also occur inside @ifinfo in man/emacs.texi.

===File ~/gpl.texi-diff=====================================
*** gpl.texi    04 Jul 2005 19:56:08 -0500      1.6
--- gpl.texi    07 May 2006 16:34:27 -0500      
***************
*** 67,75 ****
  @iftex
  @unnumberedsec Terms and Conditions for Copying, Distribution and Modification
  @end iftex
! @ifinfo
  @center TERMS AND CONDITIONS FOR COPYING, DISTRIBUTION AND MODIFICATION
! @end ifinfo
  
  @enumerate 0
  @item
--- 67,75 ----
  @iftex
  @unnumberedsec Terms and Conditions for Copying, Distribution and Modification
  @end iftex
! @ifnottex
  @center TERMS AND CONDITIONS FOR COPYING, DISTRIBUTION AND MODIFICATION
! @end ifnottex
  
  @enumerate 0
  @item
***************
*** 292,300 ****
  @iftex
  @heading NO WARRANTY
  @end iftex
! @ifinfo
  @center NO WARRANTY
! @end ifinfo
  
  @item
  BECAUSE THE PROGRAM IS LICENSED FREE OF CHARGE, THERE IS NO WARRANTY
--- 292,300 ----
  @iftex
  @heading NO WARRANTY
  @end iftex
! @ifnottex
  @center NO WARRANTY
! @end ifnottex
  
  @item
  BECAUSE THE PROGRAM IS LICENSED FREE OF CHARGE, THERE IS NO WARRANTY
***************
*** 322,330 ****
  @iftex
  @heading END OF TERMS AND CONDITIONS
  @end iftex
! @ifinfo
  @center END OF TERMS AND CONDITIONS
! @end ifinfo
  
  @page
  @unnumberedsec How to Apply These Terms to Your New Programs
--- 322,330 ----
  @iftex
  @heading END OF TERMS AND CONDITIONS
  @end iftex
! @ifnottex
  @center END OF TERMS AND CONDITIONS
! @end ifnottex
  
  @page
  @unnumberedsec How to Apply These Terms to Your New Programs
============================================================