fix build script (hopefully). better makefile
This commit is contained in:
parent
ad23834556
commit
f71b065f7d
3 changed files with 5 additions and 2 deletions
|
@ -2,7 +2,7 @@ set -e
|
||||||
echo "Building document"
|
echo "Building document"
|
||||||
make pdf
|
make pdf
|
||||||
mkdir public
|
mkdir public
|
||||||
mv 2021_Systemnahe_Programmierung.pdf public
|
mv build/2021_Systemnahe_Programmierung.pdf public
|
||||||
mv 2021_Systemnahe_Programmierung.log public
|
mv build/2021_Systemnahe_Programmierung.log public
|
||||||
cd public/
|
cd public/
|
||||||
tree -H '.' -I "index.html" -D --charset utf-8 -T "Systemnahe Programmierung" > index.html
|
tree -H '.' -I "index.html" -D --charset utf-8 -T "Systemnahe Programmierung" > index.html
|
||||||
|
|
1
.gitignore
vendored
1
.gitignore
vendored
|
@ -48,4 +48,5 @@
|
||||||
sysprog.pdf
|
sysprog.pdf
|
||||||
|
|
||||||
.init-submodule-cert
|
.init-submodule-cert
|
||||||
|
.init-git-hooks-cert
|
||||||
build/
|
build/
|
||||||
|
|
2
Makefile
2
Makefile
|
@ -6,6 +6,7 @@ clean:
|
||||||
|
|
||||||
clean-all:
|
clean-all:
|
||||||
latexmk -C
|
latexmk -C
|
||||||
|
rm -rf build/
|
||||||
|
|
||||||
## Stuff to set up repository after cloning
|
## Stuff to set up repository after cloning
|
||||||
|
|
||||||
|
@ -24,6 +25,7 @@ init: .init-submodule-cert .init-git-hooks-cert
|
||||||
@cp .ci/git-info-2.sh .git/hooks/post-checkout
|
@cp .ci/git-info-2.sh .git/hooks/post-checkout
|
||||||
@cp .ci/git-info-2.sh .git/hooks/post-commit
|
@cp .ci/git-info-2.sh .git/hooks/post-commit
|
||||||
@.ci/git-info-2.sh
|
@.ci/git-info-2.sh
|
||||||
|
@touch .init-git-hooks-cert
|
||||||
|
|
||||||
|
|
||||||
.PHONY: pdf, clean, clean-all
|
.PHONY: pdf, clean, clean-all
|
||||||
|
|
Loading…
Reference in a new issue