diff options
-rw-r--r-- | Makefile.in | 2 | ||||
-rw-r--r-- | doc/ptxdist.man | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.in b/Makefile.in index 88a32e7cf..79db8b77d 100644 --- a/Makefile.in +++ b/Makefile.in @@ -76,7 +76,7 @@ environment: @echo " done" man: man/ptxdist.1.gz -man/ptxdist.1: doc/ptxdist.man doc/ref_parameter.inc +man/ptxdist.1: doc/ptxdist.man doc/ref_parameter.rst @mkdir -pv man $(RST2MAN) $< $@ diff --git a/doc/ptxdist.man b/doc/ptxdist.man index 644e221a6..23408abd7 100644 --- a/doc/ptxdist.man +++ b/doc/ptxdist.man @@ -17,4 +17,4 @@ complete documentation. .. role:: ref(emphasis) -.. include:: ref_parameter.inc +.. include:: ref_parameter.rst |