diff options
| author | Jack Lloyd <[email protected]> | 2018-01-21 12:49:15 -0500 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2018-01-21 12:49:15 -0500 |
| commit | 65f375348c0773af6e9bbe3a005aef177dfd4ac3 (patch) | |
| tree | 138fb3bb7995a282f4ebfd8033a0f53ceb4872fe /doc | |
| parent | 66d6ee2761e5152f9777b90dccdb569ce5156001 (diff) | |
Fix headers of command line docs
Sphinx and rst2man want slightly different things, so just edit the
Sphinx-formatted ReST into a file in build dir
Fixes #1398
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual/cli.rst | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/doc/manual/cli.rst b/doc/manual/cli.rst index 69b6d454e..47641aa3b 100644 --- a/doc/manual/cli.rst +++ b/doc/manual/cli.rst @@ -1,9 +1,6 @@ -botan +Command Line Interface ======================================== -:Subtitle: Botan command line util -:Manual section: 1 - Outline ------------ |