[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.