diff --git a/docs/manual.xml.in b/docs/manual.xml.in index c9b49225..11b56a75 100644 --- a/docs/manual.xml.in +++ b/docs/manual.xml.in @@ -1,6 +1,8 @@ + +%build.version; +