diff options
-rw-r--r-- | xsd/doc/buildfile | 2 |
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" |