[Top][All Lists]

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

Recent changes in doc/misc/

From: Eli Zaretskii
Subject: Recent changes in doc/misc/
Date: Sat, 22 Dec 2012 11:01:14 +0200

I have a couple of questions about these changes, and about the
dependencies in that directory in general:

 . all the manuals now include doclicense.texi, but there are no
   dependencies on that file -- is that a bug?

 . why some of the manuals @include gpl.texi, while others include its
   contents instead?

reply via email to

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