all: stl.toc stl.index

clean:

distclean:
	rm -f stl.toc stl.index

stl.toc: stl.toc.in
	source ../config.status ; \
	echo "<!DOCTYPE doxtoc0>" > stl.toc ; \
	echo "<doxtoc0>" >> stl.toc ; \
	echo "<title>STL</title>" >> stl.toc ; \
	echo "<base href=\"$$PREFIX/share/dox/html/stl\"/>" >> stl.toc ; \
	cat stl.toc.in >> stl.toc
	echo "</doxtoc0>" >> stl.toc ; \
	echo "" >> stl.toc

stl.index: stl.index.in
	source ../config.status ; \
	echo "<!DOCTYPE doxindex0>" > stl.index ; \
	echo "<doxindex0>" >> stl.index ; \
	echo "<title>STL</title>" >> stl.index ; \
	echo "<base href=\"$$PREFIX/share/dox/html/stl\"/>" >> stl.index ; \
	cat stl.index.in >> stl.index ; \
	echo "</doxindex0>" >> stl.index
