diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2023-01-09 16:24:56 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2023-01-09 16:24:56 +0200 |
commit | 47a784423997174df7a992c13c06ce0be96ec568 (patch) | |
tree | 10a4f4636487731e6ea8596a061065a694784a75 /cli | |
parent | b853d0f61b8b4933aa70034d4bc5112c9fcf9e7b (diff) |
Remove unnecessary escaping in double-quoted string
Diffstat (limited to 'cli')
-rw-r--r-- | cli/doc/buildfile | 2 |
1 files changed, 1 insertions, 1 deletions
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" |