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

[David Kastrup]

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