[AUCTeX-commit] auctex doc/auctex.texi ChangeLog

[David Kastrup]

CVSROOT:        /sources/auctex
Module name:    auctex
Changes by:     David Kastrup <dak>     06/10/02 21:17:42

Modified files:
        doc            : auctex.texi 
        .              : ChangeLog 

Log message:
        Change the licensing terms to require no front
        and back cover texts, and explicitly exclude the GFDL from being
        licensed under the GFDL.
        (top): Give a synopsis for the license section in the top menu.
        Remove redundant version mentions, remove the explicit exclusion
        of the GFDL from GFDL licensing: RMS says it is unnecessary.

CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/auctex/doc/auctex.texi?cvsroot=auctex&r1=1.268&r2=1.269
http://cvs.savannah.gnu.org/viewcvs/auctex/ChangeLog?cvsroot=auctex&r1=5.1433&r2=5.1434