[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?
- Recent changes in doc/misc/,
Eli Zaretskii <=