aboutsummaryrefslogtreecommitdiff
path: root/GNUmakefile
diff options
context:
space:
mode:
Diffstat (limited to 'GNUmakefile')
-rw-r--r--GNUmakefile19
1 files changed, 19 insertions, 0 deletions
diff --git a/GNUmakefile b/GNUmakefile
new file mode 100644
index 0000000..019a783
--- /dev/null
+++ b/GNUmakefile
@@ -0,0 +1,19 @@
+TRAC := $(shell find raw-wiki-dump -type f -name '*.trac')
+OUT := ${TRAC:.trac=.md} TAGS
+TOOL := tools/trac2md.py
+
+all: ${OUT}
+
+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 $^
+
+%.md: %.trac GNUmakefile ${TOOL}
+ ${TOOL} $<
+
+.PHONY: all clean fetch