aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2022-05-20 11:22:32 +0200
committerRobert Alessi <alessi@robertalessi.net>2022-05-20 11:22:32 +0200
commit78be897f61f9411d0bca9009add976e9c7f53daa (patch)
tree6d448db3d933bb27ee3daf94894c3e8e8cec2255 /Makefile
parent9ad3d75b3ccad6ce150ac7eed6eb3ec973651a02 (diff)
downloadekdosis-78be897f61f9411d0bca9009add976e9c7f53daa.tar.gz
added a COPYING file
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 3 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 032cf9b..ff0bc36 100644
--- a/Makefile
+++ b/Makefile
@@ -9,7 +9,9 @@ HOMEDIR := $$HOME
9SAMPLES := samples 9SAMPLES := samples
10 10
11exts := md html ins dtx el 11exts := md html ins dtx el
12files := COPYING
12findopts := $(foreach ext,$(exts),-or -iname "*.$(ext)") 13findopts := $(foreach ext,$(exts),-or -iname "*.$(ext)")
14findfiles := $(foreach file,$(files), -or -iname "$(file)")
13 15
14define do_documentation 16define 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 *