gnome_terminal_helpdir = $(datadir)/gnome/help/gnome-terminal/C gnome_terminal_help_DATA = \ index.html \ topic.dat EXTRA_DIST = gnome-terminal.sgml topic.dat all: index.html index.html: gnome-terminal/index.html -cp gnome-terminal/index.html . gnome-terminal/index.html: gnome-terminal.sgml -db2html $(srcdir)/gnome-terminal.sgml dist-hook: mkdir $(distdir)/gnome-terminal -cp gnome-terminal/*.html $(distdir)/gnome-terminal -cp gnome-terminal/*.css $(distdir)/gnome-terminal install-data-local: index.html -for file in gnome-terminal/*.html gnome-terminal/*.css; do \ basefile=`echo $$file | sed -e 's,^.*/,,'`; \ $(INSTALL_DATA) $$file $(gnome_terminal_helpdir)/$$basefile; \ done gnome-terminal.ps: gnome-terminal.sgml -db2ps $< gnome-terminal.rtf: gnome-terminal.sgml -db2rtf $<