> > >Le 20/11/2016 à 23:49, Karl Berry a écrit : >> We could keep the license.texi file and @include-s >> >> I see what you're saying, but I prefer to just have the license text in >> the files normally, the way it was originally. Thanks. -k > > >Done. > >I have added surrounding start/end comments and not yet suppressed the >license.texi + edited the makefile, because you did not answer on making >some license consistency check (compare license in latex2e*.texi with >license.texi). > > Vincent. >
One more word, I have changed ltx-help.el to be able to select whichever amongst the 3 manuals via a defcustom (ie make it easier to customize this variable). Vincent. --- L'absence de virus dans ce courrier électronique a été vérifiée par le logiciel antivirus Avast. https://www.avast.com/antivirus
