Julian Ospald 5 лет назад
Родитель
Сommit
de46c5c18c
Не найден GPG ключ соответствующий данной подписи Идентификатор GPG ключа: 220CD1C5BDEED020
1 измененных файлов: 1 добавлений и 1 удалений
  1. +1
    -1
      Makefile

+ 1
- 1
Makefile Просмотреть файл

@@ -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

Загрузка…
Отмена
Сохранить