diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/Makefile.in | 2 | ||||
-rw-r--r-- | doc/PGP-Notes.txt | 1 | ||||
-rw-r--r-- | doc/applying-patches.txt | 1 | ||||
-rw-r--r-- | doc/devel-notes.txt | 1 |
4 files changed, 5 insertions, 0 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in index 0dc84a8f..bc0d4b45 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -1,3 +1,5 @@ +# $Id$ + SHELL=/bin/sh PACKAGE=@PACKAGE@ diff --git a/doc/PGP-Notes.txt b/doc/PGP-Notes.txt index 6b8800ff..117998f0 100644 --- a/doc/PGP-Notes.txt +++ b/doc/PGP-Notes.txt @@ -187,3 +187,4 @@ most systems, this will be the following instruction in your shell: ulimit -c 0 +$Id$ diff --git a/doc/applying-patches.txt b/doc/applying-patches.txt index 7c9e3b5b..73b2524f 100644 --- a/doc/applying-patches.txt +++ b/doc/applying-patches.txt @@ -22,3 +22,4 @@ after applying patches may help: After doing so, simply type "make"; the dependencies should take care of the necessary other re-building (this may quite well include a re-running of ./configure). +$Id$ diff --git a/doc/devel-notes.txt b/doc/devel-notes.txt index 66c02b3d..c6f5fe04 100644 --- a/doc/devel-notes.txt +++ b/doc/devel-notes.txt @@ -51,3 +51,4 @@ Style Guide setting with the global Muttrc file. - try to keep mutt as portable as possible. +$Id$ |