diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/latex-web-companion/ch3bis/ex32/labels.pl')
-rw-r--r-- | Master/texmf-dist/doc/latex/latex-web-companion/ch3bis/ex32/labels.pl | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/Master/texmf-dist/doc/latex/latex-web-companion/ch3bis/ex32/labels.pl b/Master/texmf-dist/doc/latex/latex-web-companion/ch3bis/ex32/labels.pl deleted file mode 100644 index 33b8d26526d..00000000000 --- a/Master/texmf-dist/doc/latex/latex-web-companion/ch3bis/ex32/labels.pl +++ /dev/null @@ -1,29 +0,0 @@ -# LaTeX2HTML 99.1 release (March 30, 1999) -# Associate labels original text with physical files. - - -$key = q/tab-exa/; -$external_labels{$key} = "$URL/" . q|ex32.html|; -$noresave{$key} = "$nosave"; - -1; - - -# LaTeX2HTML 99.1 release (March 30, 1999) -# labels from external_latex_labels array. - - -$key = q/BIBLIO/; -$external_latex_labels{$key} = q|2|; -$noresave{$key} = "$nosave"; - -$key = q/tab-exa/; -$external_latex_labels{$key} = q|1|; -$noresave{$key} = "$nosave"; - -$key = q/Fpsfig/; -$external_latex_labels{$key} = q|1|; -$noresave{$key} = "$nosave"; - -1; - |