[GitHub] tomcat pull request #117: Enhance the CATALINA_BASE documentation

2018-08-24 Thread asfgit
Github user asfgit closed the pull request at: https://github.com/apache/tomcat/pull/117 --- - To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org

[GitHub] tomcat pull request #117: Enhance the CATALINA_BASE documentation

2018-08-23 Thread m-czernek
Github user m-czernek commented on a diff in the pull request: https://github.com/apache/tomcat/pull/117#discussion_r212238007 --- Diff: webapps/docs/introduction.xml --- @@ -89,6 +80,122 @@ same as $CATALINA_HOME. + + Throughout the documentation, there a

[GitHub] tomcat pull request #117: Enhance the CATALINA_BASE documentation

2018-08-13 Thread markt-asf
Github user markt-asf commented on a diff in the pull request: https://github.com/apache/tomcat/pull/117#discussion_r20982 --- Diff: webapps/docs/introduction.xml --- @@ -89,6 +80,122 @@ same as $CATALINA_HOME. + + Throughout the documentation, there a

[GitHub] tomcat pull request #117: Enhance the CATALINA_BASE documentation

2018-08-13 Thread m-czernek
Github user m-czernek commented on a diff in the pull request: https://github.com/apache/tomcat/pull/117#discussion_r209548456 --- Diff: webapps/docs/introduction.xml --- @@ -89,6 +80,122 @@ same as $CATALINA_HOME. + + Throughout the documentation, there a

[GitHub] tomcat pull request #117: Enhance the CATALINA_BASE documentation

2018-08-13 Thread m-czernek
Github user m-czernek commented on a diff in the pull request: https://github.com/apache/tomcat/pull/117#discussion_r209532683 --- Diff: webapps/docs/introduction.xml --- @@ -89,6 +80,122 @@ same as $CATALINA_HOME. + + Throughout the documentation, there a

[GitHub] tomcat pull request #117: Enhance the CATALINA_BASE documentation

2018-08-10 Thread markt-asf
Github user markt-asf commented on a diff in the pull request: https://github.com/apache/tomcat/pull/117#discussion_r209308073 --- Diff: webapps/docs/introduction.xml --- @@ -89,6 +80,122 @@ same as $CATALINA_HOME. + + Throughout the documentation, there a

[GitHub] tomcat pull request #117: Enhance the CATALINA_BASE documentation

2018-08-10 Thread markt-asf
Github user markt-asf commented on a diff in the pull request: https://github.com/apache/tomcat/pull/117#discussion_r209306777 --- Diff: webapps/docs/introduction.xml --- @@ -89,6 +80,122 @@ same as $CATALINA_HOME. + + Throughout the documentation, there a

[GitHub] tomcat pull request #117: Enhance the CATALINA_BASE documentation

2018-08-02 Thread m-czernek
GitHub user m-czernek opened a pull request: https://github.com/apache/tomcat/pull/117 Enhance the CATALINA_BASE documentation As per the mailing list discussion, we'd like to enhance the catalina.home and catalina.base documentation so that it is present in the main html documenta