From: Lars Ingebrigtsen <larsi@gnus.org>
Date: Fri, 4 Feb 2011 19:07:26 +0000 (-0800)
Subject: * gnus.texi: Add DEVEL header (suggested by Andreas Schwab).
X-Git-Url: https://cgit.sxemacs.org/?p=gnus;a=commitdiff_plain;h=0818e4b2112e08b043f47fd3c5e950a2f12f691a

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

diff --git a/texi/ChangeLog b/texi/ChangeLog
index 5c4f0d0df..c0c35d006 100644
--- 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 d89493c6c..dcfcd9b58 100644
--- 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