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

---
 doc/buildfile | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'doc/buildfile')

diff --git a/doc/buildfile b/doc/buildfile
index 832897c..88f30fc 100644
--- a/doc/buildfile
+++ b/doc/buildfile
@@ -42,12 +42,10 @@ 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"
 
-  doc_version = "3.0.0"
-
   # Let's take the last four-digit number to cover 2000-2021,2022.
   #
   doc_year = $regex.replace($copyright, '.+[-, ]([0-9][0-9][0-9][0-9]) .+', '\1')
-- 
cgit v1.1