[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: duplicate files: gpl.texi and doclicense.texi

From: Michael Albinus
Subject: Re: duplicate files: gpl.texi and doclicense.texi
Date: Mon, 10 Sep 2007 15:52:20 +0200
User-agent: Gnus/5.1008 (Gnus v5.10.8) Emacs/21.3 (hpux)

David Kastrup <address@hidden> writes:

>> In the current CVS there are now two duplicated files:
>>    doc/emacs/doclicense.texi
>>    doc/misc/doclicense.texi                                                  
>>    doc/emacs/gpl.texi
>>    doc/misc/gpl.texi                                                         
>> Wouldn't it be better to have these only in one place (in doc/, for
>> instance, or just keep the copies in doc/misc/ and include them from
>> emacs/)?
> Having them in doc and using -I .. in the makeinfo invocations in the
> subdirectories sounds like the best course to me.
> More flexible than actually changing the include statements in the
> source files in case someone wants to compile parts of the docs
> standalone.

I second this. tramp.texi is synchronized from Tramp's repository,
where "@include doclicense.texi" works fine. Applying "@include
../doclicense.texi" or something like this would break it there.

Best regards, Michael.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]