Because the admin directory is no longer included, the www directory isn't

either, and that's where the generated docs used to live.  So now, make this
directory include the generated docs, removing the old IPC7 and LISA-98
directories, and the .tex source files.  These latter are moved to the admin
repository.

1 files changed, 25 insertions, 0 deletions

diff --git a/doc/mailman-admin/labels.pl b/doc/mailman-admin/labels.pl
new file mode 100644
index 00000000..70f0223d
--- /dev/null
+++ b/doc/mailman-admin/labels.pl
@@ -0,0 +1,25 @@
+# LaTeX2HTML 2002-2-1 (1.71)
+# Associate labels original text with physical files.
+
+
+$key = q/front/;
+$external_labels{$key} = "$URL/" . q|node1.html|; 
+$noresave{$key} = "$nosave";
+
+$key = q/contents/;
+$external_labels{$key} = "$URL/" . q|node2.html|; 
+$noresave{$key} = "$nosave";
+
+$key = q/about/;
+$external_labels{$key} = "$URL/" . q|node36.html|; 
+$noresave{$key} = "$nosave";
+
+1;
+
+
+# LaTeX2HTML 2002-2-1 (1.71)
+# labels from external_latex_labels array.
+
+
+1;
+