diff --git a/Makefile b/Makefile index f75f4a8b3d90fb07b5f7b8104741461bff74f500..7bbdb40e12cb8309ace81875e785917b68d1ffe0 100644 --- a/Makefile +++ b/Makefile @@ -1,4 +1,4 @@ -# $Id: Makefile,v 1.263 2003-02-20 17:09:32 geuzaine Exp $ +# $Id: Makefile,v 1.264 2003-02-20 17:52:38 geuzaine Exp $ include variables @@ -69,9 +69,7 @@ purge: done clean: - for i in doc lib ${GMSH_DIRS}; \ - do (cd $$i && ${MAKE} clean); \ - done + for i in doc lib ${GMSH_DIRS}; do (cd $$i && ${MAKE} clean); done rm -f ${GMSH_VERSION_FILE} depend: