diff options
| -rw-r--r-- | Makefile.in | 2 | ||||
| -rw-r--r-- | doc/ptxdist.man (renamed from doc/man.rst) | 2 | ||||
| -rw-r--r-- | doc/ref_manual.rst | 2 | ||||
| -rw-r--r-- | doc/ref_parameter.inc (renamed from doc/ref_parameter.rst) | 0 |
4 files changed, 3 insertions, 3 deletions
diff --git a/Makefile.in b/Makefile.in index 54674edfd..1e2a8be43 100644 --- a/Makefile.in +++ b/Makefile.in @@ -72,7 +72,7 @@ environment: @echo " done" man: man/ptxdist.1.gz -man/ptxdist.1.gz: doc/man.rst doc/ref_parameter.rst +man/ptxdist.1.gz: doc/ptxdist.man doc/ref_parameter.rst @mkdir -pv man $(RST2MAN) $< 2>/dev/null | gzip > $@ diff --git a/doc/man.rst b/doc/ptxdist.man index 23408abd7..644e221a6 100644 --- a/doc/man.rst +++ b/doc/ptxdist.man @@ -17,4 +17,4 @@ complete documentation. .. role:: ref(emphasis) -.. include:: ref_parameter.rst +.. include:: ref_parameter.inc 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 diff --git a/doc/ref_parameter.rst b/doc/ref_parameter.inc index f2ea2ae18..f2ea2ae18 100644 --- a/doc/ref_parameter.rst +++ b/doc/ref_parameter.inc |