Always produce the HTML files.

This commit is contained in:
jjgarcia 2004-06-19 11:25:59 +00:00
parent a21ce69a22
commit 4565ba2f45

View file

@ -24,7 +24,7 @@ FILTER = sed 's,@VERSION@,$(VERSION),g'
ECL = ../ecl
all: $(INFO_FILES) $(HTML_FILES)
all: $(INFO_FILES) $(HTML_FILES) developers_manual user_manual
ecl.dvi: $(srcdir)/user.txi $(srcdir)/macros.txi clisp.sty ecl.sty
tex $(srcdir)/user.txi