diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -57,6 +57,8 @@ clean: testsamples | |||
57 | rm -rf * | 57 | rm -rf * |
58 | cp -p -r .backup/* . | 58 | cp -p -r .backup/* . |
59 | rm -rf .backup | 59 | rm -rf .backup |
60 | |||
61 | pandoc: | ||
60 | pandoc -s README.md -o about.html | 62 | pandoc -s README.md -o about.html |
61 | 63 | ||
62 | auctex: | 64 | auctex: |
@@ -109,4 +111,4 @@ package: distclean all | |||
109 | rm -rf $(NAME)/ | 111 | rm -rf $(NAME)/ |
110 | 112 | ||
111 | .SILENT: testsamples | 113 | .SILENT: testsamples |
112 | .PHONY: all clean distclean inst local uninst install uninstall zip package samples testsamples | 114 | .PHONY: all clean distclean pandoc inst local uninst install uninstall zip package samples testsamples |