Make recent Texinfo accept devel.texi.
authorBen Pfaff <blp@cs.stanford.edu>
Thu, 3 Jul 2008 19:30:05 +0000 (19:30 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Thu, 3 Jul 2008 19:30:05 +0000 (19:30 +0000)
doc/devel.texi

index ea024c164404d280f4e520ac4301e1d13407d037..eae54d163956de002a61f1d78424326704c31509 100644 (file)
@@ -6,12 +6,16 @@ Here are some tools that you might find useful while developing code.
 @menu
 * Tags::
 * cscope::
-* CVS:: @ifset recommendsourceforge 
-* SourceForge:: @end ifset 
+* CVS::
+@ifset recommendsourceforge 
+* SourceForge::
+@end ifset 
 @ifset recommendvnc
-* VNC:: @end ifset 
+* VNC::
+@end ifset 
 @ifset recommendcygwin
-* Cygwin:: @end ifset
+* Cygwin::
+@end ifset
 @end menu
 
 @node Tags