From c97205bfebf35784a3d77a94f0ed6c934973a870 Mon Sep 17 00:00:00 2001
From: Andreas Gruenbacher <agruen@suse.de>
Date: Tue, 10 Apr 2007 01:38:56 +0000
Subject: [PATCH] Add makefile rule to generate HTML techdoc.

---
 docs/Makefile | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/docs/Makefile b/docs/Makefile
index f1b717225..90aa8e4d5 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -50,8 +50,12 @@ help:
 	@echo "Please select release or rpm as targets."
 
 techdoc.pdf: techdoc.tex
-	pdflatex $<
-	pdflatex $<
+	while pdflatex $< || exit 1; \
+	      grep -q "Label(s) may have changed" techdoc.log; \
+	do :; done
+
+techdoc/index.html: techdoc.pdf
+	latex2html -show_section_numbers -split 0 -noinfo -nonavigation -noaddress techdoc.tex
 
 .PHONY: release
 release: $(TARBALL)
@@ -59,6 +63,7 @@ release: $(TARBALL)
 .PHONY: clean
 clean:
 	-rm -f $(GENERATED) $(TARBALL) $(NAME)-$(VERSION)*.tar.gz Make.rules pod2*.tmp techdoc.{aux,log,pdf,toc}
+	-rm -rf techdoc/
 
 .PHONY: install_manpages
 install_manpages: $(MANPAGES)