DVIPS = @DVIPS@
FIG2DEV = @FIG2DEV@
GINACLIB_BINARY_AGE = @GINACLIB_BINARY_AGE@
+GINACLIB_CPPFLAGS = @GINACLIB_CPPFLAGS@
GINACLIB_INTERFACE_AGE = @GINACLIB_INTERFACE_AGE@
+GINACLIB_LIBS = @GINACLIB_LIBS@
GINACLIB_MAJOR_VERSION = @GINACLIB_MAJOR_VERSION@
GINACLIB_MICRO_VERSION = @GINACLIB_MICRO_VERSION@
GINACLIB_MINOR_VERSION = @GINACLIB_MINOR_VERSION@
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
info_TEXINFOS = ginac.texi
ginactutorial_DATA = @TUTORIAL_TARGETS@
CLEANFILES = $(EPS) $(PNG) ginac.html
-EXTRA_DIST = $(FIG)
+EXTRA_DIST = $(FIG) $(TXT)
mkinstalldirs = $(SHELL) $(top_srcdir)/mkinstalldirs
CONFIG_HEADER = ../../config.h
CONFIG_CLEAN_FILES =
GZIP_ENV = --best
all: all-redirect
.SUFFIXES:
-.SUFFIXES: .dvi .eps .fig .info .png .ps .texi .texinfo .txi
+.SUFFIXES: .dvi .eps .fig .info .png .ps .texi .texinfo .txi .txt
$(srcdir)/Makefile.in: @MAINTAINER_MODE_TRUE@ Makefile.am $(top_srcdir)/configure.in $(ACLOCAL_M4)
cd $(top_srcdir) && $(AUTOMAKE) --gnu doc/tutorial/Makefile
@for file in $(DISTFILES); do \
d=$(srcdir); \
if test -d $$d/$$file; then \
- cp -pr $$/$$file $(distdir)/$$file; \
+ cp -pr $$d/$$file $(distdir)/$$file; \
else \
test -f $(distdir)/$$file \
|| ln $$d/$$file $(distdir)/$$file 2> /dev/null \
%.eps: %.fig
@if [ "${FIG2DEV}" ]; then \
- echo "Running ${FIG2DEV} -L ps -m 0.8 $< $@..."; \
- ${FIG2DEV} -L ps -m 0.8 $< $@; \
+ echo "Running ${FIG2DEV} -L ps -m 0.9 $< $@..."; \
+ ${FIG2DEV} -L ps -m 0.9 $< $@; \
else \
echo "warning: fig2dev was not found by configure"; \
fi
install-data-local:
@for p in $(PNG); do \
- echo " $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginactutorialdir)/$$p"; \
- $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginactutorialdir)/$$p; \
+ if [ -f $(srcdir)/$$p ]; then \
+ echo " $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginactutorialdir)/$$p"; \
+ $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(ginactutorialdir)/$$p; \
+ fi; \
done
uninstall-local: