diff options
Diffstat (limited to 'dot-alt/Makefile')
-rw-r--r-- | dot-alt/Makefile | 22 |
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 @@ | |||
1 | FILES=dot_alt.rst | ||
2 | all: check $(FILES) | ||
3 | |||
4 | check: | ||
5 | recfix --check registry.rec | ||
6 | |||
7 | distclean: | ||
8 | |||
9 | rm -f *.tmp | ||
10 | clean: | ||
11 | rm -f $(FILES) *.tmp | ||
12 | |||
13 | dot_alt.rst.tmp: registry.rec rst.template | ||
14 | ../format.sh rst.template < registry.rec > $@ | ||
15 | |||
16 | rst.header.tmp: | ||
17 | cat README POLICY rst.header.template > $@ | ||
18 | |||
19 | dot_alt.rst: rst.header.tmp dot_alt.rst.tmp | ||
20 | cat rst.header.tmp dot_alt.rst.tmp > $@ | ||
21 | |||
22 | .PHONY: check | ||