[m-dev.] diff: some makefile fixes for the web site.
Peter Ross
petdr at cs.mu.OZ.AU
Thu Jun 17 18:46:45 AEST 1999
Hi,
===================================================================
Estimated hours taken: 0.5
Some makefile fixes for the WWW pages.
Makefile.common:
Make sure that we don't go into an infinite loop if a directory
doesn't exist (e.g. tutorial).
tutorial/Makefile:
Make sure that the files gets installed writable by group mercury.
Index: Makefile.common
===================================================================
RCS file: /home/staff/zs/imp/w3/Makefile.common,v
retrieving revision 1.8
diff -u -b -r1.8 Makefile.common
--- Makefile.common 1998/11/19 06:02:33 1.8
+++ Makefile.common 1999/06/17 08:38:45
@@ -24,7 +24,7 @@
ifdef DIRS
for dir in $(DIRS); \
do \
- (cd $$dir; $(MAKE) html); \
+ (cd $$dir && $(MAKE) html); \
done
endif
@@ -33,7 +33,7 @@
ifdef DIRS
for dir in $(DIRS); \
do \
- (cd $$dir; $(MAKE) all); \
+ (cd $$dir && $(MAKE) all); \
done
endif
@@ -45,8 +45,8 @@
ifdef DIRS
for dir in $(DIRS); \
do \
- (export INSTALL_WEBDIR=$(INSTALL_WEBDIR)/$$dir; \
- cd $$dir; $(MAKE) install); \
+ (export INSTALL_WEBDIR=$(INSTALL_WEBDIR)/$$dir && \
+ cd $$dir && $(MAKE) install); \
done
endif
chmod a+r,g+w $(INSTALL_WEBDIR)/*
@@ -58,7 +58,7 @@
ifdef DIRS
for dir in $(DIRS); \
do \
- (cd $$dir; $(MAKE) clean); \
+ (cd $$dir && $(MAKE) clean); \
done
endif
Index: tutorial/Makefile
===================================================================
RCS file: /home/staff/zs/imp/tutorial/Makefile,v
retrieving revision 1.4
diff -u -b -r1.4 Makefile
--- Makefile 1999/03/26 11:33:17 1.4
+++ Makefile 1999/06/17 08:41:08
@@ -21,6 +21,8 @@
[ -d "$(INSTALL_WEBDIR)" ] || \
mkdir -p "$(INSTALL_WEBDIR)"
cp -af $(HTML) $(INSTALL_WEBDIR)
+ chmod a+r,g+w $(INSTALL_WEBDIR)/*
+ chgrp mercury $(INSTALL_WEBDIR)/*
clean:
rm -f $(HTML)
----
+----------------------------------------------------------------------+
| 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