Merge branch 'master' of opencircuitdesign.com:/home/tim/gitsrc/open_pdks/

Doing pull request #21.

sky130/Makefile.in

diff --git a/sky130/Makefile.in b/sky130/Makefile.in
index 8485deb..cc337dd 100644
--- a/sky130/Makefile.in
+++ b/sky130/Makefile.in
@@ -428,10 +428,10 @@
 	# 	"FIXED_BBOX 0 407 15000 40000"
 
 install:
-	if test "x${DIST_PATH}" == "x" ; then
-	    ${MAKE} install-local
-	else
-	    ${MAKE} install-dist
+	if test "x${DIST_PATH}" == "x" ; then \
+	    ${MAKE} install-local ; \
+	else \
+	    ${MAKE} install-dist; \
 	fi
 
 install-local: install-local-a