diff options
| -rw-r--r-- | doc/manual/local.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual/local.mk b/doc/manual/local.mk index b6540e8e3..055882251 100644 --- a/doc/manual/local.mk +++ b/doc/manual/local.mk @@ -33,7 +33,7 @@ define process-includes matchline=$$(sed 's|/|\\/|g' <<< $$line); \ sed -i "/$$matchline/r $$(dirname $(2))/$$filename" $(2); \ sed -i "s/$$matchline//" $(2); \ - done < <(grep '{{#include' $(1)) + done < <(grep '{{#include' $(1)) endef $(d)/%.1: $(d)/src/command-ref/%.md |