1 files changed, 2 insertions, 1 deletions
diff --git a/src/pre.l b/src/pre.l
index 3573062..eb49f58 100644
--- a/src/pre.l
+++ b/src/pre.l
@@ -10,7 +10,8 @@
  * for any purpose. It is provided "as is" without express or implied warranty.
  * See the GNU General Public License for more details.
  *
- * All output generated with Doxygen is not covered by this license.
+ * Documents produced by Doxygen are derivative works derived from the
+ * input used in their production; they are not affected by this license.
  *
  */