From 0f996535896dc4abcefb234d14cd8d42384b7415 Mon Sep 17 00:00:00 2001 From: Robert Alessi Date: Sat, 15 May 2021 11:34:34 +0200 Subject: Makefile: new pandoc independent rule --- Makefile | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 4479b82..c42c868 100644 --- a/Makefile +++ b/Makefile @@ -57,6 +57,8 @@ clean: testsamples rm -rf * cp -p -r .backup/* . rm -rf .backup + +pandoc: pandoc -s README.md -o about.html auctex: @@ -109,4 +111,4 @@ package: distclean all rm -rf $(NAME)/ .SILENT: testsamples -.PHONY: all clean distclean inst local uninst install uninstall zip package samples testsamples +.PHONY: all clean distclean pandoc inst local uninst install uninstall zip package samples testsamples -- cgit v1.2.3