doc/tutorial/Makefile.am

   1 ## Process this file with automake to produce Makefile.in
   2
   3 # Graphics file conversion
   4 FIG = classhierarchy.fig repnaive.fig reppair.fig repreal.fig
   5 PNG = $(addsuffix .png, $(basename $(FIG)))
   6 EPS = $(addsuffix .eps, $(basename $(FIG)))
   7
   8 SUFFIXES = .fig .png .eps
   9
  10 %.eps: %.fig
  11         @if [ "${FIG2DEV}" ]; then \
  12           echo "Running ${FIG2DEV} -L ps -m 0.8 $< $@..."; \
  13           ${FIG2DEV} -L ps -m 0.8 $< $@; \
  14         else \
  15           echo "warning: fig2dev was not found by configure"; \
  16         fi
  17
  18 %.png: %.fig
  19         @if [ "${FIG2DEV}" ]; then \
  20           echo "Running ${FIG2DEV} -L png $< $@..."; \
  21           ${FIG2DEV} -L png $< $@; \
  22         else \
  23           echo "warning: fig2dev was not found by configure"; \
  24         fi
  25
  26 info_TEXINFOS = ginac.texi
  27
  28 ginac.dvi: $(EPS)
  29
  30 ginac.html: ginac.texi version.texi $(PNG)
  31         cd $(srcdir) \
  32           && $(MAKEINFO) --html `echo $< | sed 's,.*/,,'`
  33
  34 ginacdocdir = $(datadir)/doc/GiNaC
  35 ginactutorialdir = $(ginacdocdir)/tutorial
  36 ginactutorial_DATA = @TUTORIAL_TARGETS@
  37
  38 CLEANFILES = $(EPS) $(PNG) *.html
  39 EXTRA_DIST = $(FIG)
  40
  41 #CLEANFILES = *.html *.png *.ps *.tex *.log *.aux *.dvi *.eps tutorial.sgml HTML.manifest
  42
  43 #install-data-local:
  44 #       @for p in *.html; do \
  45 #         echo " $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginactutorialdir)/$$p"; \
  46 #         $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginactutorialdir)/$$p; \
  47 #       done
  48 #       @for p in *.png; do \
  49 #         echo " $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginactutorialdir)/$$p"; \
  50 #         $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginactutorialdir)/$$p; \
  51 #       done
  52
  53 #uninstall-local:
  54 #       @for p in *.html; do \
  55 #         echo " rm -f $(DESTDIR)$(ginactutorialdir)/$$p"; \
  56 #         rm -f $(DESTDIR)$(ginactutorialdir)/$$p; \
  57 #       done
  58 #       @for p in *.png; do \
  59 #         echo " rm -f $(DESTDIR)$(ginactutorialdir)/$$p"; \
  60 #         rm -f $(DESTDIR)$(ginactutorialdir)/$$p; \
  61 #       done