diff options
author | Robert Alessi <alessi@robertalessi.net> | 2023-06-22 18:54:08 +0200 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2023-06-22 18:54:08 +0200 |
commit | 90cf4bb17e7fa6363050630b74668722dd857fbe (patch) | |
tree | c618eb8cbd8befed08643aefc0f59f0435210ffe /Makefile | |
parent | dfccfa00e569921faa22ce88a996818e5debac79 (diff) | |
download | ekdosis-90cf4bb17e7fa6363050630b74668722dd857fbe.tar.gz |
new functions for combining footnotes into a single paragraph
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -11,6 +11,7 @@ SAMPLES := samples | |||
11 | 11 | ||
12 | exts := md html ins dtx el | 12 | exts := md html ins dtx el |
13 | files := AUTHORS.md LICENSE | 13 | files := AUTHORS.md LICENSE |
14 | zfiles := {AUTHORS.md,LICENSE} | ||
14 | findopts := $(foreach ext,$(exts),-or -iname "*.$(ext)") | 15 | findopts := $(foreach ext,$(exts),-or -iname "*.$(ext)") |
15 | findfiles := $(foreach file,$(files), -or -iname "$(file)") | 16 | findfiles := $(foreach file,$(files), -or -iname "$(file)") |
16 | 17 | ||
@@ -107,7 +108,7 @@ uninstall: | |||
107 | 108 | ||
108 | zip: all | 109 | zip: all |
109 | ln -sf . $(NAME) | 110 | ln -sf . $(NAME) |
110 | zip -Drq $(PWD)/$(NAME)-$(VERS).zip $(NAME)/{$(files),samples,README.md,$(NAME).{pdf,sty,lua,el}} | 111 | zip -Drq $(PWD)/$(NAME)-$(VERS).zip $(NAME)/{$(zfiles),samples,README.md,$(NAME).{pdf,sty,lua,el}} |
111 | rm $(NAME) | 112 | rm $(NAME) |
112 | 113 | ||
113 | hal: clean | 114 | hal: clean |