diff man/make-stds.texi @ 511:4a83dda7ae93

[xemacs-hg @ 2001-05-07 07:24:15 by martinb] support makeinfo 3.12
author martinb
date Mon, 07 May 2001 07:24:15 +0000
parents 0784d089fdc9
children aa5ed11f473b
line wrap: on
line diff
--- a/man/make-stds.texi	Sun May 06 08:33:41 2001 +0000
+++ b/man/make-stds.texi	Mon May 07 07:24:15 2001 +0000
@@ -811,7 +811,7 @@
 @end smallexample
 
 @noindent
-or, if you wish to support @env{DESTDIR},
+or, if you wish to support @code{DESTDIR},
 
 @smallexample
 # Make sure all installation directories (e.g. $(bindir))