EXTRA_DIST =deffn2.png deffn.png insert.png main.png mult.png \
	par.png pii.png rational.png sigma.png

docdir=$(pkgdatadir)/Doc

install-data-local: $(EXTRA_DIST)
	@$(NORMAL_INSTALL)
	$(mkinstalldirs) $(DESTDIR)$(docdir)
	@list='$(EXTRA_DIST)'; for p in $$list; do \
	  dir=`echo "$$p" | sed -e 's,/[^/]*$$,,'`; \
	  if test "$$dir" != "$$p" && test "$$dir" != "."; then \
	    $(mkinstalldirs) "$(DESTDIR)$(docdir)/$$dir"; \
	  fi; \
	  f="`echo $$p|sed '$(transform)'`"; \
	  if test -f $$p; then \
	    echo " $(INSTALL_DATA) $$p $(DESTDIR)$(docdir)/$$f"; \
	    $(INSTALL_DATA) $$p $(DESTDIR)$(docdir)/$$f; \
	  elif test -f $(srcdir)/$$p; then \
	    echo " $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(docdir)/$$f"; \
	    $(INSTALL_DATA) $(srcdir)/$$p $(DESTDIR)$(docdir)/$$f; \
	  else :; fi; \
	done

uninstall-local:
	@$(NORMAL_UNINSTALL)
	@list='$(EXTRA_DIST)'; for p in $$list; do \
	  f="`echo $$p|sed '$(transform)'`"; \
	  echo " rm -f $(DESTDIR)$(docdir)/$$f"; \
	  rm -f $(DESTDIR)$(docdir)/$$f; \
	done