1undocumented.txt: gen-undocumented.sh documented.txt implemented.txt
2	./$< > $@
3
4documented.txt: gen-documented.sh
5	./$< > $@
6
7implemented.txt: gen-implemented.sh
8	./$< > $@
9