diff man/custom.texi @ 355:182f72e8cd0d r21-1-7

Import from CVS: tag r21-1-7
author cvs
date Mon, 13 Aug 2007 10:56:21 +0200
parents 8bec6624d99b
children cc15677e0335
line wrap: on
line diff
--- a/man/custom.texi	Mon Aug 13 10:55:35 2007 +0200
+++ b/man/custom.texi	Mon Aug 13 10:56:21 2007 +0200
@@ -1,7 +1,7 @@
 \input texinfo.tex
 
 @c %**start of header
-@setfilename ../info/custom
+@setfilename ../info/custom.info
 @settitle The Customization Library
 @iftex
 @afourpaper