$(top_builddir)/doc/pspp.info: $(FIGURE_TEXIS)
$(top_builddir)/doc/pspp.ps: $(FIGURE_TEXIS)
$(top_builddir)/doc/pspp.dvi: $(FIGURE_TEXIS)
$(top_builddir)/doc/pspp.info: $(FIGURE_TEXIS)
$(top_builddir)/doc/pspp.ps: $(FIGURE_TEXIS)
$(top_builddir)/doc/pspp.dvi: $(FIGURE_TEXIS)