[m-rev.] diff: force html pages to be regenerated each night

[Ian MacLarty]

Estimated hours taken: 0.5

bin/install_webpages:
	Do `make clean' before `make install', so that the html pages that
	depend on the latest rotd version get regenerated.

Index: bin/install_webpages
===================================================================
RCS file: /home/mercury1/repository/w3/bin/install_webpages,v
retrieving revision 1.25
diff -u -r1.25 install_webpages
--- bin/install_webpages	15 Nov 2005 22:37:40 -0000	1.25
+++ bin/install_webpages	20 Nov 2005 07:14:41 -0000
@@ -58,6 +58,9 @@
     #
 cvs update -d . || echo "*** cvs update failed" 1>&2
 cvs checkout tutorial || echo "*** cvs checkout failed" 1>&2
+# Some html pages depend on the latest rotd version, so we need to force
+# them to be regenerated by doing a make clean.
+make clean || echo "*** make clean failed" 1>&2
 make install || echo "*** make install failed" 1>&2
 make delete_old_rotds || echo "*** make delete_old_rotds failed" 1>&2
 
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------