trivial diff: small fixes for the web site.

[Peter Ross]

===================================================================


Estimated hours taken: 0.5

Assorted fixes for the web site.

Makefile.common:
mailing-lists/mercury-developers/Makefile:
mailing-lists/mercury-users/Makefile:
    When installing the web-pages force the copy to overwrite old pages.

mailing-lists/Makefile:
    Adjustment to ensure that the correct header is generated for
    mailing-list messages.

mailing-lists/create_archive:
    Ensure that the archive2html is the one in the current directory.

Index: Makefile.common
===================================================================
RCS file: /home/staff/zs/imp/w3/Makefile.common,v
retrieving revision 1.7
diff -u -r1.7 Makefile.common
--- Makefile.common	1998/09/23 02:00:46	1.7
+++ Makefile.common	1998/11/10 06:34:55
@@ -41,7 +41,7 @@
 .PHONY: install
 install: $(HTML)
 	[ -d $(INSTALL_WEBDIR) ] || mkdir -p $(INSTALL_WEBDIR)
-	cp -a $(HTML) $(INSTALL_WEBDIR)/
+	cp -af $(HTML) $(INSTALL_WEBDIR)/
 ifdef DIRS
 	for dir in $(DIRS);					\
 	do				        		\
Index: mailing-lists/Makefile
===================================================================
RCS file: /home/staff/zs/imp/w3/mailing-lists/Makefile,v
retrieving revision 1.3
diff -u -r1.3 Makefile
--- Makefile	1998/09/09 07:43:56	1.3
+++ Makefile	1998/09/24 22:33:32
@@ -11,7 +11,7 @@
 header.inc: blank.html
 	echo "May need to rearchive the hypermail archive"
 	cat blank.html | sed -e 's/\.\./\.\.\/\.\.\/\.\./g' |	\
-		tail +6 | tac | tail +7 | tac > header.inc
+		tail +4 | tac | tail +7 | tac > header.inc
 
 footer.inc: blank.html
 	cat blank.html | sed -e 's/\.\./\.\.\/\.\.\/\.\./g' | \
Index: mailing-lists/create_archive
===================================================================
RCS file: /home/staff/zs/imp/w3/mailing-lists/create_archive,v
retrieving revision 1.1
diff -u -r1.1 create_archive
--- create_archive	1998/09/04 05:02:10	1.1
+++ create_archive	1998/09/24 04:59:43
@@ -17,7 +17,7 @@
     month=`printf "%02d\n" $month`
 fi
 
-archive2html.sh -d $dir -f mercury-users -m 01 -y 97
+./archive2html.sh -d $dir -f mercury-users -m 01 -y 97
 
 m=02
 y=97
@@ -33,7 +33,6 @@
 
         for mail in mercury-users mercury-developers
         do
-            echo ./archive2html.sh -d $dir -f $mail -m $m -y $y
             ./archive2html.sh -d $dir -f $mail -m $m -y $y
         done
 
Index: mailing-lists/mercury-developers/Makefile
===================================================================
RCS file: /home/staff/zs/imp/w3/mailing-lists/mercury-developers/Makefile,v
retrieving revision 1.5
diff -u -r1.5 Makefile
--- Makefile	1998/09/07 09:09:25	1.5
+++ Makefile	1998/11/10 06:41:45
@@ -13,7 +13,7 @@
 	do							\
 		if [ -d $$dir -a $$dir != "include" ];		\
 		then						\
-			cp -a $$dir $(INSTALL_WEBDIR);		\
+			cp -af $$dir $(INSTALL_WEBDIR);		\
 		fi						\
 	done
 	chmod -R a+r,g+w $(INSTALL_WEBDIR)/*
Index: mailing-lists/mercury-users/Makefile
===================================================================
RCS file: /home/staff/zs/imp/w3/mailing-lists/mercury-users/Makefile,v
retrieving revision 1.5
diff -u -r1.5 Makefile
--- Makefile	1998/09/07 09:09:29	1.5
+++ Makefile	1998/11/10 06:42:05
@@ -11,7 +11,7 @@
 	do							\
 		if [ -d $$dir -a $$dir != "include" ];		\
 		then						\
-			cp -a $$dir $(INSTALL_WEBDIR);		\
+			cp -af $$dir $(INSTALL_WEBDIR);		\
 		fi						\
 	done
 	chmod -R a+r,g+w $(INSTALL_WEBDIR)/*

----
 +----------------------------------------------------------------------+
 | Peter Ross      M Sci/Eng Melbourne Uni                              |
 | petdr at cs.mu.oz.au  WWW: www.cs.mu.oz.au/~petdr/ ph: +61 3 9344 9158  |
 +----------------------------------------------------------------------+