X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=doc%2Ftutorial%2FMakefile.am;h=d3c1afa06ba2cb15a5d607f3e7f497b144ddb14a;hp=44be9f82f6ec8a5f2ea13b09e74beb19abafc692;hb=7526e2bf4e33c25f1d7952fb5d037a4e78d29ad8;hpb=c84d42371ab2e0cc6350a7cffd4f784a54dbd91b diff --git a/doc/tutorial/Makefile.am b/doc/tutorial/Makefile.am index 44be9f82..d3c1afa0 100644 --- a/doc/tutorial/Makefile.am +++ b/doc/tutorial/Makefile.am @@ -4,18 +4,19 @@ FIG = classhierarchy.fig repnaive.fig reppair.fig repreal.fig PNG = $(addsuffix .png, $(basename $(FIG))) EPS = $(addsuffix .eps, $(basename $(FIG))) +TXT = $(addsuffix .txt, $(basename $(FIG))) -SUFFIXES = .fig .png .eps +SUFFIXES = .fig .png .eps .txt -%.eps: %.fig +.fig.eps: @if [ "${FIG2DEV}" ]; then \ - echo "Running ${FIG2DEV} -L ps -m 0.8 $< $@..."; \ - ${FIG2DEV} -L ps -m 0.8 $< $@; \ + echo "Running ${FIG2DEV} -L eps -m 0.9 $< $@..."; \ + ${FIG2DEV} -L eps -m 0.9 $< $@; \ else \ echo "warning: fig2dev was not found by configure"; \ fi -%.png: %.fig +.fig.png: @if [ "${FIG2DEV}" ]; then \ echo "Running ${FIG2DEV} -L png $< $@..."; \ ${FIG2DEV} -L png $< $@; \ @@ -28,34 +29,25 @@ info_TEXINFOS = ginac.texi ginac.dvi: $(EPS) ginac.html: ginac.texi version.texi $(PNG) - cd $(srcdir) \ - && $(MAKEINFO) --html `echo $< | sed 's,.*/,,'` + $(MAKEINFO) --html $< -I ${srcdir} -ginacdocdir = $(datadir)/doc/GiNaC -ginactutorialdir = $(ginacdocdir)/tutorial +ginactutorialdir = `test -z "@TUTORIAL_TARGETS@" || echo @datadir@/doc/GiNaC/tutorial` ginactutorial_DATA = @TUTORIAL_TARGETS@ -CLEANFILES = $(EPS) $(PNG) *.html -EXTRA_DIST = $(FIG) - -#CLEANFILES = *.html *.png *.ps *.tex *.log *.aux *.dvi *.eps tutorial.sgml HTML.manifest - -#install-data-local: -# @for p in *.html; do \ -# echo " $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginactutorialdir)/$$p"; \ -# $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginactutorialdir)/$$p; \ -# done -# @for p in *.png; do \ -# echo " $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginactutorialdir)/$$p"; \ -# $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginactutorialdir)/$$p; \ -# done - -#uninstall-local: -# @for p in *.html; do \ -# echo " rm -f $(DESTDIR)$(ginactutorialdir)/$$p"; \ -# rm -f $(DESTDIR)$(ginactutorialdir)/$$p; \ -# done -# @for p in *.png; do \ -# echo " rm -f $(DESTDIR)$(ginactutorialdir)/$$p"; \ -# rm -f $(DESTDIR)$(ginactutorialdir)/$$p; \ -# done +CLEANFILES = $(EPS) $(PNG) ginac.html +EXTRA_DIST = $(FIG) $(TXT) + +install-data-local: + $(mkinstalldirs) $(DESTDIR)$(ginactutorialdir) + @for p in $(PNG); do \ + if [ -f $$p ]; then \ + echo " $(INSTALL_DATA) $$p $(DESTDIR)$(ginactutorialdir)/$$p"; \ + $(INSTALL_DATA) $$p $(DESTDIR)$(ginactutorialdir)/$$p; \ + fi; \ + done + +uninstall-local: + @for p in $(PNG); do \ + echo " rm -f $(DESTDIR)$(ginactutorialdir)/$$p"; \ + rm -f $(DESTDIR)$(ginactutorialdir)/$$p; \ + done