gnome_terminal_helpdir = $(datadir)/gnome/help/gnome-terminal/no

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 $<