diff options
author | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
commit | e0c6872cf40896c7be36b11dcc744620f10adf1d (patch) | |
tree | 60335e10d2f4354b0674ec22d7b53f0f8abee672 /graphics/pgf/contrib/timing-diagrams/Makefile |
Initial commit
Diffstat (limited to 'graphics/pgf/contrib/timing-diagrams/Makefile')
-rw-r--r-- | graphics/pgf/contrib/timing-diagrams/Makefile | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/graphics/pgf/contrib/timing-diagrams/Makefile b/graphics/pgf/contrib/timing-diagrams/Makefile new file mode 100644 index 0000000000..656b8e1ead --- /dev/null +++ b/graphics/pgf/contrib/timing-diagrams/Makefile @@ -0,0 +1,18 @@ +NAME=timing-diagrams + +all: diagrams-examples.pdf $(NAME).zip + +version.txt: force + @echo "$(NAME) version $$(git rev-parse HEAD).\n\ +Commited on $$(git show -s HEAD --pretty=format:'%cd')." > $@ + +diagrams-examples.pdf: diagrams-examples.tex timing-diagrams.sty + pdflatex -interaction nonstopmode diagrams-examples.tex + +FILES=diagrams-examples.pdf diagrams-examples.tex timing-diagrams.sty README Makefile + +$(NAME).zip: version.txt $(FILES) + cd .. && zip $@ $(NAME)/version.txt $(FILES:%=$(NAME)/%) && mv $(NAME).zip $(NAME)/ + +force: +.PHONY: all force |