Thanks, applied as 5b32cf900ef10071820f4250f7181eeeb94e082f. Michael
[sent from post-receive hook] On Wed, 16 Jun 2021 12:35:35 +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/README b/README > index 60ac8b152b8b..1bf3348f81ca 100644 > --- a/README > +++ b/README > @@ -48,6 +48,12 @@ Documentation > See <https://www.ptxdist.org/doc/> for the full documentation, which > includes a quickstart guide as well as a reference for users and > developers. > +You can also find the documentation in reStructuredText form in the doc/ > +directory inside this PTXdist tree, which you can build into HTML with > + > + ./bin/ptxdist docs-html > + > +The generated HTML documents will be created in Documentation/html/. > > Bugs > ---- _______________________________________________ ptxdist mailing list [email protected] To unsubscribe, send a mail with subject "unsubscribe" to [email protected]
