diff options
Diffstat (limited to 'talks/sheriff/Makefile')
| -rw-r--r-- | talks/sheriff/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/talks/sheriff/Makefile b/talks/sheriff/Makefile new file mode 100644 index 00000000..802a724d --- /dev/null +++ b/talks/sheriff/Makefile @@ -0,0 +1,6 @@ +all: clean + for i in 1 2 3 4; do lout all.lt > sheriff.ps; done + ps2pdf sheriff.ps + +clean: + -rm *.ld *.li *.ps *.pdf |