From 47a784423997174df7a992c13c06ce0be96ec568 Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Mon, 9 Jan 2023 16:24:56 +0200
Subject: Remove unnecessary escaping in double-quoted string

---
 cli/doc/buildfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'cli')

diff --git a/cli/doc/buildfile b/cli/doc/buildfile
index b5328bc..753b620 100644
--- a/cli/doc/buildfile
+++ b/cli/doc/buildfile
@@ -42,7 +42,7 @@ pregenerated/{man1 xhtml}{*}: dist = (!$develop)
 
 if $develop
 {
-  doc_version = [string] "$version.major\.$version.minor\.$version.patch"
+  doc_version = [string] "$version.major.$version.minor.$version.patch"
   if $version.pre_release
     doc_version += "-$version.pre_release_string"
 
-- 
cgit v1.1