We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 928bc8f commit a9ac33cCopy full SHA for a9ac33c
README.md
@@ -29,11 +29,9 @@
29
- Устанвить [TeX Live](https://tug.org/texlive/) или аналогичный дистрибутив.
30
- Сделать клон репозитория.
31
- Зайти в папку ```tex```
32
-- Выполнить следующие команды
+- Выполнить команду
33
```
34
-pdflatex FormalLanguageConstrainedReachabilityLectureNotes.tex
35
-bibtex FormalLanguageConstrainedReachabilityLectureNotes.aux
36
+make
37
38
39
tex/makefile
@@ -0,0 +1,9 @@
1
+main=FormalLanguageConstrainedReachabilityLectureNotes
2
+
3
+all:
4
+ pdflatex $(main).tex
5
+ bibtex $(main).aux
6
7
8
+clean:
9
+ rm -f $(main).pdf *.log *.aux *.bbl *.blg *.out *.toc *~
0 commit comments