This commit is contained in:
Julian Ospald 2015-04-21 18:05:23 +02:00
джерело 198ccedcf5
коміт 5acabb296f
Не вдалося знайти GPG ключ що відповідає даному підпису
Ідентифікатор GPG ключа: 220CD1C5BDEED020
1 змінених файлів з 1 додано та 1 видалено

@ -16,7 +16,7 @@ VL2:
clean:
$(MAKE) -C VL1 clean
$(MAKE) -C VL2 clean
$(RM) VL1.pdf VL2.pdf VL1/VL1_handout.pdf VL2/VL2_handout.pdf
$(RM) VL1.pdf VL2.pdf VL1_handout.pdf VL2_handout.pdf
.PHONY: all clean VL1 VL2