* gnus.texi: Add DEVEL header (suggested by Andreas Schwab).

diff --git a/texi/ChangeLog b/texi/ChangeLog
index 5c4f0d0..c0c35d0 100644 (file)
--- a/texi/ChangeLog
+++ b/texi/ChangeLog
@@ -1,3 +1,7 @@
+2011-02-04  Lars Ingebrigtsen  <larsi@gnus.org>
+
+       * gnus.texi: Add DEVEL header (suggested by Andreas Schwab).
+
 2011-02-03  Lars Ingebrigtsen  <larsi@gnus.org>
 
        * gnus.texi (Article Date): Remove mention of gnus-stop-date-timer,

diff --git a/texi/gnus.texi b/texi/gnus.texi
index d89493c..dcfcd9b 100644 (file)
--- a/texi/gnus.texi
+++ b/texi/gnus.texi
@@ -329,7 +329,11 @@ developing GNU and promoting software freedom.''
 
 
 @titlepage
+@ifset DEVEL
+@title Gnus Manual (development version)
+@else
 @title Gnus Manual
+@end ifset
 
 @author by Lars Magne Ingebrigtsen
 @page