[m-dev.] diff: create dirs when installing w3

[Peter Ross]

Hi,


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


Estimated hours taken: 0.25

w3/Makefile.common:
    When installing create the directory if it doesn't exist.


Index: Makefile.common
===================================================================
RCS file: /home/staff/zs/imp/w3/Makefile.common,v
retrieving revision 1.11
diff -u -r1.11 Makefile.common
--- Makefile.common	1999/12/06 03:35:46	1.11
+++ Makefile.common	1999/12/06 23:33:30
@@ -49,6 +49,8 @@
 ifdef DIRS
 	for dir in $(DIRS);						\
 	do				        			\
+		[ -d $(INSTALL_WEBDIR)/$$dir ] ||			\
+			mkdir -p $(INSTALL_WEBDIR)/$$dir;		\
 		(export INSTALL_WEBDIR=$(INSTALL_WEBDIR)/$$dir &&	\
 		cd $$dir && $(MAKE) install);				\
 	done

----
 +----------------------------------------------------------------------+
 | 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
--------------------------------------------------------------------------