Merge pull request #2137 from drwetter/2074_md_fixes

Fix makefile
This commit is contained in:
Dirk Wetter 2022-04-01 15:10:44 +02:00 committed by GitHub
commit ed38cbeed3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 2 deletions

View File

@ -1,9 +1,12 @@
PANDOC = pandoc
MANSECTION = 1
NAME=testssl
NAME = testssl
TITLE = testssl.sh
all: $(NAME).$(MANSECTION) $(NAME).$(MANSECTION).html
force: clean all
clean:
rm -f $(NAME).$(MANSECTION) $(NAME).$(MANSECTION).html
@ -11,4 +14,4 @@ $(NAME).$(MANSECTION): $(NAME).$(MANSECTION).md
$(PANDOC) --standalone --to man $(NAME).$(MANSECTION).md -o $@
$(NAME).$(MANSECTION).html: template.html $(NAME).$(MANSECTION).md
$(PANDOC) --standalone --to html5 --template template.html $(NAME).$(MANSECTION).md -o $@
$(PANDOC) --standalone --to html5 --template template.html --metadata title="$(TITLE)" $(NAME).$(MANSECTION).md -o $@