From 491b23b43392af0342a9bacb8388aa5210e8dc1f Mon Sep 17 00:00:00 2001
From: jjgarcia <jjgarcia>
Date: Tue, 22 Jun 2004 08:26:58 +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 5279f8bf3..d4b922d08 100644
--- a/src/doc/Makefile.in
+++ b/src/doc/Makefile.in
@@ -31,7 +31,7 @@ ecl.dvi: $(srcdir)/user.txi $(srcdir)/macros.txi clisp.sty ecl.sty
 	tex $(srcdir)/user.txi
 ecldev.dvi: $(srcdir)/devel.txi $(srcdir)/macros.txi clisp.sty ecl.sty
 	tex $(srcdir)/devel.txi
-clx.ps: clx.texinfo
+clx.dvi: clx.texinfo
 	tex clx.texinfo
 
 ecl.ps: ecl.dvi $(srcdir)/macros.txi