Julian Ospald
9 роки тому
Не вдалося знайти GPG ключ що відповідає даному підпису
Ідентифікатор GPG ключа: 220CD1C5BDEED020
1 змінених файлів з
3 додано та
1 видалено
-
Makefile
|
|
@@ -6,15 +6,17 @@ all: VL1 VL2 |
|
|
|
VL1: |
|
|
|
$(MAKE) -C VL1 |
|
|
|
$(LN_S) VL1/VL1.pdf . |
|
|
|
$(LN_S) VL1/VL1_handout.pdf . |
|
|
|
|
|
|
|
VL2: |
|
|
|
$(MAKE) -C VL2 |
|
|
|
$(LN_S) VL2/VL2.pdf . |
|
|
|
$(LN_S) VL2/VL2_handout.pdf . |
|
|
|
|
|
|
|
clean: |
|
|
|
$(MAKE) -C VL1 clean |
|
|
|
$(MAKE) -C VL2 clean |
|
|
|
$(RM) VL1.pdf VL2.pdf |
|
|
|
$(RM) VL1.pdf VL2.pdf VL1/VL1_handout.pdf VL2/VL2_handout.pdf |
|
|
|
|
|
|
|
|
|
|
|
.PHONY: all clean VL1 VL2 |