aboutsummaryrefslogtreecommitdiff
path: root/dot-alt/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'dot-alt/Makefile')
-rw-r--r--dot-alt/Makefile22
1 files changed, 22 insertions, 0 deletions
diff --git a/dot-alt/Makefile b/dot-alt/Makefile
new file mode 100644
index 0000000..cff05b7
--- /dev/null
+++ b/dot-alt/Makefile
@@ -0,0 +1,22 @@
1FILES=dot_alt.rst
2all: check $(FILES)
3
4check:
5 recfix --check registry.rec
6
7distclean:
8
9 rm -f *.tmp
10clean:
11 rm -f $(FILES) *.tmp
12
13dot_alt.rst.tmp: registry.rec rst.template
14 ../format.sh rst.template < registry.rec > $@
15
16rst.header.tmp:
17 cat README POLICY rst.header.template > $@
18
19dot_alt.rst: rst.header.tmp dot_alt.rst.tmp
20 cat rst.header.tmp dot_alt.rst.tmp > $@
21
22.PHONY: check