diff options
Diffstat (limited to 'PID_servo/Makefile')
| -rw-r--r-- | PID_servo/Makefile | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/PID_servo/Makefile b/PID_servo/Makefile index 0942ebf..9916a4c 100644 --- a/PID_servo/Makefile +++ b/PID_servo/Makefile @@ -1,6 +1,6 @@ # -*- make -*- -# FILE: "/home/evmik/eagle/BPD_v4_1.75x3in/Makefile" -# LAST MODIFICATION: "Fri, 07 Jun 2013 10:35:09 -0400 (evmik)" +# FILE: "/home/evmik/eagle/PID_servo/Makefile" +# LAST MODIFICATION: "Tue, 24 Jun 2014 18:28:44 -0400 (evmik)" # (C) 2007 by Eugeniy Mikhailov, <evmik@ligo.mit.edu> # $Id:$ @@ -10,6 +10,7 @@ dname = $(shell basename `pwd`) zip_fname = $(dname).zip +zip_gerber_fname = $(dname)_gerber.zip clean: clean_tmp @@ -40,4 +41,6 @@ real_clean: zip: real_clean zip $(zip_fname) gerber/* * -x \*.pdf +zip_gerber: + zip $(zip_gerber_fname) gerber/* -x \*.pdf |