From e065131c1b9993bc086a71ce021d8e19afc492a0 Mon Sep 17 00:00:00 2001
From: Valentin Gagarin <valentin.gagarin@tweag.io>
Date: Fri, 3 Mar 2023 12:56:23 +0100
Subject: [PATCH] cosmetic indentation
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Co-authored-by: Théophane Hufschmitt <7226587+thufschmitt@users.noreply.github.com>
---
 doc/manual/local.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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