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

[gnus] / texi / gnus.texi

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