forked from GuITeX/guidagit
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathMakefile
28 lines (22 loc) · 812 Bytes
/
Makefile
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
##### Variabili
SHELL = /bin/sh
PRINCIPALE = guidagit
PRINCIPALE_TEX = $(PRINCIPALE).tex
PRINCIPALE_PDF = $(PRINCIPALE).pdf
CLEAN_FILE = *.aux *.fdb_latexmk *.fls *.log *.out *.toc *~
DISTCLEAN_FILE = $(PRINCIPALE_PDF)
##### Regole
.PHONY: pdf clean distclean dist
pdf: $(PRINCIPALE_PDF)
$(PRINCIPALE_PDF): $(PRINCIPALE_TEX)
latexmk -pdf $(PRINCIPALE_TEX)
# Per fare pulizia dei file temporanei generati:
clean:
rm -f $(CLEAN_FILE)
# Per cancellare tutti i file generati nella compilazione lasciando solo il sorgente:
distclean: clean
rm -f $(DISTCLEAN_FILE)
# Per creare un archivio compresso contenente il sorgente e il repository di git:
dist: distclean
git gc # comprimiamo il repository locale di git per ridurre al minimo la tarball
cd ..; tar -czvpsf $(PRINCIPALE).tar.gz $(PRINCIPALE)/