summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2023-01-09 16:10:06 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2023-01-09 16:10:06 +0200
commit7b8d2ee4e5f87db63e188428a68e113ef3b4de41 (patch)
tree1122e31157e0c88c61ed5f41229925fae2af756a
parent1b899e6d9146d1c97a436a8558661ca15126439f (diff)
Remove unnecessary escaping in double-quoted string
-rw-r--r--xsd/doc/buildfile2
1 files changed, 1 insertions, 1 deletions
diff --git a/xsd/doc/buildfile b/xsd/doc/buildfile
index b2037c7..2b00ac6 100644
--- a/xsd/doc/buildfile
+++ b/xsd/doc/buildfile
@@ -51,7 +51,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"