-ginac.html: ginac.texi version.texi $(PNG)
- cd $(srcdir) \
- && $(MAKEINFO) --html `echo $< | sed 's,.*/,,'`
-
-ginacdocdir = $(datadir)/doc/GiNaC
-ginactutorialdir = $(ginacdocdir)/tutorial
-ginactutorial_DATA = @TUTORIAL_TARGETS@
-
-CLEANFILES = $(EPS) $(PNG) ginac.html