-PNG = $(addsuffix .png, $(basename $(FIG)))
-EPS = $(addsuffix .eps, $(basename $(FIG)))
-TXT = $(addsuffix .txt, $(basename $(FIG)))
-
-SUFFIXES = .fig .png .eps .txt
-
-%.eps: %.fig
- @if [ "${FIG2DEV}" ]; then \
- echo "Running ${FIG2DEV} -L ps -m 0.8 $< $@..."; \
- ${FIG2DEV} -L ps -m 0.8 $< $@; \
- else \
- echo "warning: fig2dev was not found by configure"; \
- fi
-
-%.png: %.fig
- @if [ "${FIG2DEV}" ]; then \
- echo "Running ${FIG2DEV} -L png $< $@..."; \
- ${FIG2DEV} -L png $< $@; \
- else \
- echo "warning: fig2dev was not found by configure"; \
- fi
-
-info_TEXINFOS = ginac.texi