cosmetic indentation

Co-authored-by: Théophane Hufschmitt <7226587+thufschmitt@users.noreply.github.com>
This commit is contained in:
Valentin Gagarin 2023-03-03 12:56:23 +01:00 committed by GitHub
parent dd0aab2f94
commit e065131c1b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -33,7 +33,7 @@ define process-includes
matchline=$$(sed 's|/|\\/|g' <<< $$line); \ matchline=$$(sed 's|/|\\/|g' <<< $$line); \
sed -i "/$$matchline/r $$(dirname $(2))/$$filename" $(2); \ sed -i "/$$matchline/r $$(dirname $(2))/$$filename" $(2); \
sed -i "s/$$matchline//" $(2); \ sed -i "s/$$matchline//" $(2); \
done < <(grep '{{#include' $(1)) done < <(grep '{{#include' $(1))
endef endef
$(d)/%.1: $(d)/src/command-ref/%.md $(d)/%.1: $(d)/src/command-ref/%.md