trivial diff: fix bug in tutorial/Makefile
Fergus Henderson
fjh at cs.mu.OZ.AU
Thu Mar 11 06:14:23 AEDT 1999
tutorial/Makefile:
Fix a bug: INSTALL_WEBDIR already includes "/tutorial"
at the end, so we don't need to add that here.
Index: tutorial/Makefile
===================================================================
RCS file: /home/mercury1/repository/tutorial/Makefile,v
retrieving revision 1.2
diff -u -r1.2 Makefile
--- Makefile 1999/03/05 16:46:19 1.2
+++ Makefile 1999/03/10 19:08:03
@@ -18,9 +18,9 @@
"make install" 1>&2; \
exit 1; \
}
- [ -d "$(INSTALL_WEBDIR)/tutorial" ] || \
- mkdir -p "$(INSTALL_WEBDIR)/tutorial"
- cp -af $(HTML) $(INSTALL_WEBDIR)/tutorial
+ [ -d "$(INSTALL_WEBDIR)" ] || \
+ mkdir -p "$(INSTALL_WEBDIR)"
+ cp -af $(HTML) $(INSTALL_WEBDIR)
clean:
rm -f $(HTML)
--
Fergus Henderson <fjh at cs.mu.oz.au> | "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh> | of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3 | -- the last words of T. S. Garp.
More information about the developers
mailing list