+yacasl2.info: manual.texi
+ $(MAKEINFO) $(MAKEINFO_FLAGS) $<
+
+$(addsuffix .html,$(DOCS)) $(addsuffix _html,$(DOCS)): $(CSS)
+
+%.html: %.texi
+ $(MAKEINFO) -o $@ --no-split --html --css-include=$(CSS) $<
+
+%_html: %.texi
+ if test ! -e $@; then $(MKDIR) $@; fi
+ $(CP) $(CSS) $@/
+ $(MAKEINFO) -o $@ --html --css-ref=$(CSS) $<
+
+%.pdf: %.dvi
+ $(DVIPDFMX) $<
+
+%.txt: %.texi
+ $(MAKEINFO) --no-headers --disable-encoding -o $@ $<
+
+install-info: yacasl2.info
+ $(INSTALL) -d $(infodir)
+ $(INSTALL) $< $(infodir)/
+ $(INSTALL-INFO) $(infodir)/$< $(infodir)/dir
+ $(GZIP) -f $(infodir)/$<
+
+uninstall-info:
+ $(INSTALL-INFO) --delete $(infodir)/yacasl2.info $(infodir)/dir
+ $(RM) $(infodir)/yacasl2.info
+
+clean: textmp-clean
+ @$(RMR) *_html *.info *.html *.pdf *.dvi *.txt
+
+textmp-clean:
+ @$(RM) *.aux *.cp *.cps *.fn *.ky *.log *.pg *.pgs *.tmp *.toc *.tp *.vr