diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/Makefile b/Makefile deleted file mode 100644 index 789b822..0000000 --- a/Makefile +++ /dev/null @@ -1,14 +0,0 @@ -TRAC := $(shell find raw-wiki-dump -type f -name '*.trac') -OUT := ${TRAC:.trac=.md} TAGS -TOOL := tools/trac2md.py - -all: ${OUT} - -clean: - rm ${OUT} - -TAGS: ${TRAC} - etags -l none $^ - -%.md: %.trac Makefile ${TOOL} - ${TOOL} $< |