From 788a93f63deceeca9660a59838779de7b168c507 Mon Sep 17 00:00:00 2001 From: Bruno Date: Sun, 15 May 2022 23:14:55 +0200 Subject: [PATCH] Makefile: fix '#' for some GNU Make/Bash versions --- patrick-markdown/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/patrick-markdown/Makefile b/patrick-markdown/Makefile index 36d826b..7672313 100644 --- a/patrick-markdown/Makefile +++ b/patrick-markdown/Makefile @@ -17,7 +17,7 @@ endef # provide a title to pandoc. We take the first line starting with '#', # and remove initial '#' and spaces -TITLE = $(shell sed -n '0,/^#/ s/^[# ]*//p' $1) +TITLE = $(shell sed -n '0,/^\#/ s/^[\# ]*//p' $1) OPTS = --standalone --include-in-header=$(CSSINC) --template=$(TEMPLATE) \ --from=gfm --to=html5