diff options
Diffstat (limited to 'doc/ref_manual.rst')
-rw-r--r-- | doc/ref_manual.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/ref_manual.rst b/doc/ref_manual.rst index 74685442c..e5c1d64e1 100644 --- a/doc/ref_manual.rst +++ b/doc/ref_manual.rst @@ -1195,4 +1195,4 @@ PTXdist is a command line tool, which is basicly called as: $ ptxdist <action [args]> [options] -.. include:: ref_parameter.rst +.. include:: ref_parameter.inc |