diff -r 2cb34a4ac65a -r 6b5a4c21e061 doc/manual/en/html/labels.pl
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc/manual/en/html/labels.pl	Tue Jun 05 18:43:21 2007 +0200
@@ -0,0 +1,13 @@
+# LaTeX2HTML 2002-2-1 (1.71)
+# Associate labels original text with physical files.
+
+
+1;
+
+
+# LaTeX2HTML 2002-2-1 (1.71)
+# labels from external_latex_labels array.
+
+
+1;
+