doc/manual/en/html/labels.pl
author nico
Fri, 08 Jun 2007 09:23:56 +0200
changeset 215 f49e5a6b7804
parent 210 6b5a4c21e061
permissions -rw-r--r--
Manual and Documentation finish
210
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
     1
# LaTeX2HTML 2002-2-1 (1.71)
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
     2
# Associate labels original text with physical files.
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
     3
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
     4
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
     5
1;
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
     6
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
     7
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
     8
# LaTeX2HTML 2002-2-1 (1.71)
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
     9
# labels from external_latex_labels array.
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    10
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    11
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    12
1;
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    13