diff options
Diffstat (limited to 'GNUmakefile')
-rw-r--r-- | GNUmakefile | 19 |
1 files changed, 7 insertions, 12 deletions
diff --git a/GNUmakefile b/GNUmakefile index 019a783..664d5d9 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -1,19 +1,14 @@ -TRAC := $(shell find raw-wiki-dump -type f -name '*.trac') -OUT := ${TRAC:.trac=.md} TAGS -TOOL := tools/trac2md.py - -all: ${OUT} +all: + mkdir -p tracwiki markdown + tools/extract.py fetch: rsync -aP --delete bikeshed.cryptech.is:/home/trac/db/trac.db bikeshed.cryptech.is:/home/trac/files/attachments . clean: - rm ${OUT} - -TAGS: ${TRAC} - etags -l none $^ + rm -rf tracwiki markdown -%.md: %.trac GNUmakefile ${TOOL} - ${TOOL} $< +distclean: clean + rm -rf trac.db attachments -.PHONY: all clean fetch +.PHONY: all clean fetch distclean |