From 99438d87750aebcb3c7ae9899fce81e9237678ec Mon Sep 17 00:00:00 2001
From: Janneke Nieuwenhuizen <janneke@gnu.org>
Date: Sun, 17 May 2026 09:26:57 +0200
Subject: [PATCH] doc: Substitute `@' with `@@' when generating os-config*.texi
 files.

* doc/local.mk (%D%/os-config-%.texi): Use SED to substitute `@', rather than
CP.

Change-Id: I515ab99adb3c2c7ee8fa01d314c777df395930fc
---
 doc/local.mk | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/local.mk b/doc/local.mk
index 9452ccaf35f..5a10e2e2bb9 100644
--- a/doc/local.mk
+++ b/doc/local.mk
@@ -6,7 +6,7 @@
 # Copyright © 2016, 2018 Mathieu Lirzin <mthl@gnu.org>
 # Copyright © 2018, 2021 Julien Lepiller <julien@lepiller.eu>
 # Copyright © 2019 Timothy Sample <samplet@ngyro.com>
-# Copyright © 2024 Janneke Nieuwenhuizen <janneke@gnu.org>
+# Copyright © 2024, 2026 Janneke Nieuwenhuizen <janneke@gnu.org>
 # Copyright © 2024 gemmaro <gemmaro.dev@gmail.com>
 #
 # This file is part of GNU Guix.
@@ -147,7 +147,7 @@ $(srcdir)/%D%/contributing.%.texi: po/doc/guix-manual.%.po guix/build/po.go
 
 %D%/os-config-%.texi: gnu/system/examples/%.tmpl
 	$(AM_V_GEN)$(MKDIR_P) "`dirname $@`";	\
-	cp "$<" "$@"
+	sed -e s,@,@@,g "$<" > "$@"
 
 infoimagedir = $(infodir)/images
 dist_infoimage_DATA =				\