# HG changeset patch
# User jwe
# Date 1155856910 0
# Node ID 683839bd5407e306c25d247f44a5d59d639b1774
# Parent  01ff100fcd64dc09292f10ae984e947e893d4e8a
[project @ 2006-08-17 23:21:50 by jwe]

diff -r 01ff100fcd64 -r 683839bd5407 doc/conf.texi.in
--- a/doc/conf.texi.in	Thu Aug 17 20:40:58 2006 +0000
+++ b/doc/conf.texi.in	Thu Aug 17 23:21:50 2006 +0000
@@ -3,7 +3,7 @@
 @c For copying conditions, see the file gpl.texi.
 
 @set OCTAVE_MANUAL
-@set TARGETHOSTTYPE %CANONICAL_HOSTTYPE%
+@set TARGETHOSTTYPE %CANONICAL_HOST_TYPE%
 @set OCTAVEHOME %OCTAVE_HOME%
 @set VERSION %OCTAVE_VERSION%
 %TEXINFO_COLAMD%