Thanks, applied as f692ff1bc24523d14ae322e9564b56920bab68ce. Michael
[sent from post-receive hook] On Thu, 11 Jun 2020 11:39:39 +0200, Roland Hieber <[email protected]> wrote: > Signed-off-by: Roland Hieber <[email protected]> > Message-Id: <[email protected]> > Signed-off-by: Michael Olbrich <[email protected]> > > diff --git a/doc/ref_manual.rst b/doc/ref_manual.rst > index 6541da3eaa00..44d031010e72 100644 > --- a/doc/ref_manual.rst > +++ b/doc/ref_manual.rst > @@ -5,15 +5,5 @@ PTXdist Reference > .. include:: ref_make_macros.inc > .. include:: ref_rule_file_layout.inc > > -.. _ptxdist_parameter_reference: > - > -PTXdist parameter reference > ---------------------------- > - > -PTXdist is a command line tool, which is basically called as: > - > -.. code-block:: bash > - > - $ ptxdist <action [args]> [options] > > .. include:: ref_parameter.inc > diff --git a/doc/ref_parameter.inc b/doc/ref_parameter.inc > index aaac8956f147..4f5fbbe4ac68 100644 > --- a/doc/ref_parameter.inc > +++ b/doc/ref_parameter.inc > @@ -1,3 +1,14 @@ > +.. _ptxdist_parameter_reference: > + > +PTXdist parameter reference > +--------------------------- > + > +PTXdist is a command line tool, which is basically called as: > + > +.. code-block:: bash > + > + $ ptxdist <action [args]> [options] > + > Setup and Project Actions > ~~~~~~~~~~~~~~~~~~~~~~~~~ > _______________________________________________ ptxdist mailing list [email protected] To unsubscribe, send a mail with subject "unsubscribe" to [email protected]
