diff --git a/docs/conf.py b/docs/conf.py index a55d3667ab82a017d59dd3e3fe5085ef7748f57f..92737bcce3fe41db0baf452f905c40d79899b25b 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -114,12 +114,13 @@ todo_include_todos = True # a list of builtin themes. # html_theme = 'default' -import sphinx_rtd_theme -html_theme = "sphinx_rtd_theme" -html_theme_path = [sphinx_rtd_theme.get_html_theme_path()] +try: + import sphinx_rtd_theme + html_theme = "sphinx_rtd_theme" + html_theme_path = [sphinx_rtd_theme.get_html_theme_path()] +except ImportError: + pass -#html_theme = "doctrine" -#html_theme_path = ['_theme'] # Theme options are theme-specific and customize the look and feel of a theme # further. For a list of options available for each theme, see the diff --git a/pom.xml b/pom.xml index e37e878f170759b8c0a3035d34f7912abad246ad..0aebf540e32fc6f9426abd937dd91e55f7172252 100644 --- a/pom.xml +++ b/pom.xml @@ -407,6 +407,33 @@ <classifier>${aggregator.classifier}</classifier> </configuration> </plugin> + <plugin> + <groupId>org.apache.maven.plugins</groupId> + <artifactId>maven-site-plugin</artifactId> + <version>3.0</version> + <configuration> + <reportPlugins> + <plugin> + <groupId>org.apache.maven.plugins</groupId> + <artifactId>maven-project-info-reports-plugin</artifactId> + <version>2.8</version> + <reportSets> + <reportSet> + <reports/> + </reportSet> + </reportSets> + </plugin> + <plugin> + <groupId>org.tomdz.maven</groupId> + <artifactId>sphinx-maven-plugin</artifactId> + <version>1.0.3</version> + <configuration> + <sourceDirectory>${basedir}/docs</sourceDirectory> + </configuration> + </plugin> + </reportPlugins> + </configuration> + </plugin> </plugins> <resources> <resource>