From d48f8f9d0d2cac73b18ce3e040fc78f03b012ab8 Mon Sep 17 00:00:00 2001
From: Thorsten Vitt <thorsten.vitt@uni-wuerzburg.de>
Date: Tue, 26 May 2015 10:47:29 +0200
Subject: [PATCH] Build maven site via sphinx
---
docs/conf.py | 11 ++++++-----
pom.xml | 27 +++++++++++++++++++++++++++
2 files changed, 33 insertions(+), 5 deletions(-)
diff --git a/docs/conf.py b/docs/conf.py
index a55d366..92737bc 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 e37e878..0aebf54 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>
--
GitLab