diff options
author | Robert Alessi <alessi@robertalessi.net> | 2022-05-20 11:22:32 +0200 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2022-05-20 11:22:32 +0200 |
commit | 78be897f61f9411d0bca9009add976e9c7f53daa (patch) | |
tree | 6d448db3d933bb27ee3daf94894c3e8e8cec2255 /Makefile | |
parent | 9ad3d75b3ccad6ce150ac7eed6eb3ec973651a02 (diff) | |
download | ekdosis-78be897f61f9411d0bca9009add976e9c7f53daa.tar.gz |
added a COPYING file
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -9,7 +9,9 @@ HOMEDIR := $$HOME | |||
9 | SAMPLES := samples | 9 | SAMPLES := samples |
10 | 10 | ||
11 | exts := md html ins dtx el | 11 | exts := md html ins dtx el |
12 | files := COPYING | ||
12 | findopts := $(foreach ext,$(exts),-or -iname "*.$(ext)") | 13 | findopts := $(foreach ext,$(exts),-or -iname "*.$(ext)") |
14 | findfiles := $(foreach file,$(files), -or -iname "$(file)") | ||
13 | 15 | ||
14 | define do_documentation | 16 | define do_documentation |
15 | $(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx >/dev/null | 17 | $(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx >/dev/null |
@@ -51,7 +53,7 @@ clean: testsamples | |||
51 | rm -f $(NAME).bib $(PWD)/TMP/*.bib | 53 | rm -f $(NAME).bib $(PWD)/TMP/*.bib |
52 | rm -rf .backup | 54 | rm -rf .backup |
53 | find -iname "*~" -or -iname "*.pdf" -or -iname "*_out*.tex" | xargs rm -rf | 55 | find -iname "*~" -or -iname "*.pdf" -or -iname "*_out*.tex" | xargs rm -rf |
54 | find ./* -type f -iname "Makefile" $(findopts) > ls-R | 56 | find ./* -type f -iname "Makefile" $(findopts) $(findfiles) > ls-R |
55 | find ./* -type f -iname "*.tex" | grep '/samples/' >> ls-R | 57 | find ./* -type f -iname "*.tex" | grep '/samples/' >> ls-R |
56 | rsync -aPr --files-from=ls-R . .backup | 58 | rsync -aPr --files-from=ls-R . .backup |
57 | rm -rf * | 59 | rm -rf * |