diff options
Diffstat (limited to 'tools/doc/publish.xml')
-rw-r--r-- | tools/doc/publish.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/doc/publish.xml b/tools/doc/publish.xml index d2e8d2e..e609972 100644 --- a/tools/doc/publish.xml +++ b/tools/doc/publish.xml @@ -32,7 +32,7 @@ </arg> </cmdsynopsis> </refsynopsisdiv> - + <refsect1> <title>Description</title> <para> |