diff options
Diffstat (limited to 'Makefile.common')
| -rw-r--r-- | Makefile.common | 46 |
1 files changed, 0 insertions, 46 deletions
diff --git a/Makefile.common b/Makefile.common deleted file mode 100644 index e697f31..0000000 --- a/Makefile.common +++ /dev/null @@ -1,46 +0,0 @@ -xsldir ?= $(BASEDIR)/xsl - -DICTFMTFLAGS += --utf8 -XSLTPROCESSOR ?= xsltproc -novalid - -SHELL=bash - -date=$(shell date +%G-%m-%d) - -empty:= -space:= $(empty) $(empty) -version1 := $(shell sed -e '100q;/<edition>/!d;s/.*<edition>\(.*\)<\/edition>.*/\1/;q'\ - $(wildcard $(dictname).tei*)) -version := $(subst $(space),_,$(version1)) - -all: - $(MAKE) dict - -sorted.tei: $(dictname).tei $(xsldir)/sort.xsl - $(XSLTPROCESSOR) $(xsldir)/sort.xsl $< >$@ - -$(dictname).c5: sorted.tei $(xsldir)/tei2c5.xsl \ - $(xsldir)/inc/teientry2txt.xsl \ - $(xsldir)/inc/teiheader2txt.xsl \ - $(xsldir)/inc/indent.xsl - $(XSLTPROCESSOR) --xinclude --stringparam current-date $(date) $(xsldir)/tei2c5.xsl $< >$@ - -%.dict %.index: %.c5 - dictfmt -t --headword-separator %%% $(DICTFMTFLAGS) $* <$< - -%.dz: % - dictzip -k $< - -%.tar.gz: %.dict.dz %.index - tar czf $*.tar.gz $*.dict.dz $*.index - -dict: $(dictname).tar.gz - -clean: - rm -f $(dictname).index $(dictname).dict - rm -f $(dictname).c5 $(dictname).dict.dz - rm -f $(dictname).tar.gz sorted.tei - -.DELETE_ON_ERROR: - -.PHONY: all clean |