From 515ff7815ef1cc5a3cc26c92d8c07185a0c8b4e7 Mon Sep 17 00:00:00 2001 From: Chong Yidong Date: Sun, 15 Apr 2007 20:57:37 +0000 Subject: [PATCH] Remove node heading, so that it can be included by other files. --- man/doclicense.texi | 2 -- 1 file changed, 2 deletions(-) diff --git a/man/doclicense.texi b/man/doclicense.texi index 14fb9926897..83e9d6b5579 100644 --- a/man/doclicense.texi +++ b/man/doclicense.texi @@ -1,6 +1,4 @@ @c -*-texinfo-*- -@node GNU Free Documentation License, Emacs Invocation, Copying, Top -@appendix GNU Free Documentation License @center Version 1.2, November 2002 @display -- 2.39.5