From 70788e22eab9c2cbb264c3f5e63be563f07012d5 Mon Sep 17 00:00:00 2001 From: jjgarcia Date: Sun, 20 Jun 2004 10:05:54 +0000 Subject: [PATCH] *** empty log message *** --- src/doc/Makefile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/doc/Makefile.in b/src/doc/Makefile.in index 96fa54178..1b711108c 100644 --- a/src/doc/Makefile.in +++ b/src/doc/Makefile.in @@ -5,7 +5,7 @@ prefix=@prefix@ exec_prefix=@exec_prefix@ infodir = @infodir@ mandir=@mandir@ -doddir=@docdir@ +docdir=@docdir@ manext=1 INFOEXT = @INFOEXT@