[m-dev.] diff: fix w3 bug reported by dougl

Peter Ross petdr at cs.mu.OZ.AU
Tue Dec 7 17:42:05 AEDT 1999


Hi,

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


Estimated hours taken: 0.25

w3/mailing-lists/Makefile:
    Fix the bug reported by dougl that mercury-developers wasn't
    displaying correctly.


Index: Makefile
===================================================================
RCS file: /home/staff/zs/imp/w3/mailing-lists/Makefile,v
retrieving revision 1.8
diff -u -r1.8 Makefile
--- Makefile	1999/12/06 23:24:32	1.8
+++ Makefile	1999/12/07 06:35:19
@@ -10,13 +10,17 @@
 
 msglist_header.inc msglist_footer.inc: message_list.html
 	echo "May need to rearchive the hypermail archive"
-	$(ROOT)/bin/divide "--- Cut here ---" msglist_header.inc \
-			msglist_footer.inc < message_list.html
+	cat message_list.html | sed -e 's/\%\"/\%\%\"/g' | 		\
+		sed -e 's/\.\./\.\.\/\.\.\/\.\./g' |			\
+		$(ROOT)/bin/divide "--- Cut here ---" 			\
+			msglist_header.inc msglist_footer.inc
 
 msg_header.inc msg_footer.inc: message.html
 	echo "May need to rearchive the hypermail archive"
-	$(ROOT)/bin/divide "--- Cut here ---" msg_header.inc \
-			msg_footer.inc < message.html
+	cat message_list.html | sed -e 's/\%\"/\%\%\"/g' | 		\
+		sed -e 's/\.\./\.\.\/\.\.\/\.\./g' |			\
+		$(ROOT)/bin/divide "--- Cut here ---" msg_header.inc 	\
+			msg_footer.inc
 
 clean: local_clean
 

----
 +----------------------------------------------------------------------+
 | 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  |
 +----------------------------------------------------------------------+
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------



More information about the developers mailing list