Skip to content

Commit

Permalink
Fixes to makefile for handling dist archives properly
Browse files Browse the repository at this point in the history
  • Loading branch information
rartino committed Sep 21, 2018
1 parent 63842c9 commit 0eeb854
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -51,7 +51,7 @@ dist: version docs httk_overview.pdf clean
--exclude=".*" --transform "flags=r;s|httk.cfg.example|httk.cfg|;s|$$THISDIR|httk-$$(cat $$THISDIR/VERSION)|"\
)
md5sum "httk-$$(cat VERSION).tgz" > "httk-$$(cat VERSION).md5"
if [ -e .git ]; then rm -f src/httk/version_dist.*; fi
if [ -e .git ]; then rm -f src/httk/distdata.py src/httk/distdata.pyc; fi

httk_overview.pdf: Presentation/presentation.tex
( cd Presentation; \
Expand Down

0 comments on commit 0eeb854

Please sign in to comment.