From 8c2f174e01e74557b18c331f7c3a126b560e8579 Mon Sep 17 00:00:00 2001 From: Remko Popma Date: Tue, 7 May 2019 19:36:25 +0900 Subject: [PATCH] DOC embed GitHub buttons at the bottom of the GitHub Project section of the manual page --- docs/index.adoc | 7 +++++++ docs/index.html | 3 +++ docs/man/3.x/index.html | 3 +++ 3 files changed, 13 insertions(+) diff --git a/docs/index.adoc b/docs/index.adoc index 7bd85a59..368c1a4a 100644 --- a/docs/index.adoc +++ b/docs/index.adoc @@ -4158,6 +4158,13 @@ The https://github.com/remkop/picocli[GitHub project] has the source code, tests Star icon:star-o[] and/or fork icon:code-fork[] this project on GitHub if you like it! +++++ + + + +++++ + + == Issue Tracker The GitHub https://github.com/remkop/picocli/issues[Issue Tracker] can be used to report bugs or request features. There is also a <>, and for questions where the user community may know the answer, https://stackoverflow.com/questions/tagged/picocli[StackOverflow] is both a good resource and a great way to build an online knowledge base. diff --git a/docs/index.html b/docs/index.html index 6c9039a8..1da821b5 100644 --- a/docs/index.html +++ b/docs/index.html @@ -6184,6 +6184,9 @@ object MyApp {

Star and/or fork this project on GitHub if you like it!

+ + +
diff --git a/docs/man/3.x/index.html b/docs/man/3.x/index.html index e987a1da..31870d66 100644 --- a/docs/man/3.x/index.html +++ b/docs/man/3.x/index.html @@ -5622,6 +5622,9 @@ object MyApp {

Star and/or fork this project on GitHub if you like it!

+ + +