[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: duplicate files: gpl.texi and doclicense.texi
From: |
David Kastrup |
Subject: |
Re: duplicate files: gpl.texi and doclicense.texi |
Date: |
Mon, 10 Sep 2007 14:33:12 +0200 |
User-agent: |
Gnus/5.11 (Gnus v5.11) Emacs/22.1.50 (gnu/linux) |
Miles Bader <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.
--
David Kastrup