Incorporated Jan-Hein's changes and texinfo conversion.
diff --git a/Doc/Makefile b/Doc/Makefile
index dccd5eb..bcc1afe 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -20,6 +20,7 @@
 lib:
 	touch lib.ind
 	latex lib
+	./fix_hack lib.idx
 	makeindex lib
 	latex lib
 	dvips lib >lib.ps
@@ -31,10 +32,15 @@
 	latex qua
 	dvips lib >lib.ps
 
+libinfo:
+	@echo This may take a while...
+	python -c 'import partparse; partparse.main()' lib[1-5].tex
+	sh fix.sh
+
 clean:
 	rm -f @* *~ *.aux *.idx *.ilg *.ind *.log *.toc *.blg *.bbl
 	# Sources: .tex, .bib, .sty
 	# Useful results: .dvi, .ps
 
 clobber: clean
-	 rm -f *.dvi *.ps
+	 rm -f *.dvi *.ps *.info *.info-[0-9]*