+# Debian packages.
+
+dpkg:
+ @if [ 0 != `cvs -q update | wc -l` ]; then \
+ echo Please commit all changes to CVS first.; \
+ exit 1; \
+ fi
+
+# Documentation.
+
+html: html/index.html
+
+html/index.html: $(wildcard *.ml) $(wildcard *.mli) $(wildcard wrappers/*.ml)
+ rm -rf html
+ mkdir html
+ -$(OCAMLDOC) $(OCAMLDOCFLAGS) -d html $^
+
+.PHONY: depend dist check-manifest html dpkg
\ No newline at end of file