diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -964,6 +964,10 @@ pdf: asterisk.pdf asterisk.pdf: $(MAKE) -C doc/tex asterisk.pdf +txt: asterisk.txt +asterisk.txt: + $(MAKE) -C doc/tex asterisk.txt + .PHONY: menuselect .PHONY: main .PHONY: sounds |