-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathMakefile
More file actions
42 lines (31 loc) · 955 Bytes
/
Makefile
File metadata and controls
42 lines (31 loc) · 955 Bytes
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
29
30
31
32
33
34
35
36
37
38
39
40
41
# Percorso relativo alla cartella principale del repository, senza slash finale.
REPO_DIR = .
# Includi i comandi comuni a tutti i makefile.
include $(REPO_DIR)/script/global.mk
all:
@make test-spelling
+make documents
documents:
+cd "documenti" && make documents
parallel:
@cd "documenti" && make parallel
test-spelling:
@cd "documenti" && make test-spelling
@cd "modello" && make test-spelling
test-glossary:
@$(REPO_DIR)/script/test-glossary.sh
test-regexp:
@$(REPO_DIR)/script/test-regex.sh
gulpease:
@$(REPO_DIR)/script/pdftotxt.sh
clean:
@rm -f *~
@cd "documenti" && make clean
@cd "modello" && make clean
@cd "script" && make clean
build: test-spelling documents
@mkdir -p "build"
@rm -f build/*.pdf build/documenti-pdf.zip
@for file in documenti/*/*.pdf; do echo "[*] Copio $$file in build/"; cp "$$file" "build/"; done
@cd build && zip documenti-pdf.zip *.pdf
@echo "[*] L'archivio build/documenti-pdf.zip è pronto"