diff options
| -rw-r--r-- | developers-manual.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/developers-manual.rst b/developers-manual.rst index 25d5afb2..ac258a5f 100644 --- a/developers-manual.rst +++ b/developers-manual.rst @@ -1514,7 +1514,7 @@ Developer Tools =============== This section describes various internal programs to make life easier for the -developer. See also user-facing tools in :doc:`manpages`. +developer. taler-config-generate |