X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=doc%2Ftutorial%2FMakefile.am;h=8749c7f098e679d62e1906cbd81bf48dc4ee3605;hp=4971a9b30fbfdb1358e5a60de4ecba0c40e919b9;hb=155c2b0f7a301dbd9d77256ffccd6575a4304523;hpb=6cecf65f570c056be7d99536ca53e8073ebc3559 diff --git a/doc/tutorial/Makefile.am b/doc/tutorial/Makefile.am index 4971a9b3..8749c7f0 100644 --- a/doc/tutorial/Makefile.am +++ b/doc/tutorial/Makefile.am @@ -71,6 +71,14 @@ tutorial.ps: tutorial.dvi echo "warning: target tutorial.ps disabled by configuration"; \ fi +ginacdocdir = $(datadir)/doc/GiNaC +ginactutorialdir = $(ginacdocdir)/tutorial +ginactutorial_DATA = @TUTORIAL_TARGETS@ +EXTRA_DATA = index.html tutorial.ps + +CLEANFILES = *.html *.png *.ps *.tex *.log *.aux *.dvi *.eps tutorial.sgml HTML.manifest +EXTRA_DIST = tutorial.sgml.in $(FIG) + install-data-local: @for p in *.html; do \ echo " $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginactutorialdir)/$$p"; \ @@ -90,11 +98,3 @@ uninstall-local: echo " rm -f $(DESTDIR)$(ginactutorialdir)/$$p"; \ rm -f $(DESTDIR)$(ginactutorialdir)/$$p; \ done - -ginacdocdir = $(datadir)/doc/GiNaC -ginactutorialdir = $(ginacdocdir)/tutorial -ginactutorial_DATA = $(TUTORIAL_TARGETS) -EXTRA_DATA = index.html tutorial.ps - -CLEANFILES = *.html *.png *.ps *.tex *.log *.aux *.dvi *.eps tutorial.sgml HTML.manifest -EXTRA_DIST = tutorial.sgml.in $(FIG)