From 6bb6d30d471aedf3cadb1997430403f3d97cdddd Mon Sep 17 00:00:00 2001
From: Simon Josefsson <simon@josefsson.org>
Date: Sun, 21 Nov 2004 16:35:15 +0000
Subject: [PATCH] Add 'DO NOT MODIFY' warning to generated man pages.

---
 doc/gdoc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/gdoc b/doc/gdoc
index d084bc9..f7b618a 100755
--- a/doc/gdoc
+++ b/doc/gdoc
@@ -594,6 +594,7 @@ sub output_man {
     my ($parameter, $section);
     my $count;
 
+    print ".\\\" DO NOT MODIFY THIS FILE!  It was generated by gdoc.\n";
     print ".TH \"$args{'function'}\" 3 \"$args{'sourceversion'}\" \"". $args{'module'} . "\" \"". $args{'module'} . "\"\n";
 
     print ".SH NAME\n";
-- 
2.11.4.GIT