all: libc.toc libc.index

clean:

distclean:
	rm -f libc.toc libc.index

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

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

libc-html:
	texi2html -split_node libc.texinfo

libc-toc:
	perl toc-texi libc_toc.html > libc.toc.in

libc-index:
	perl index-texi *.html > libc.index.in
