kaputtnik has proposed merging lp:~widelands-dev/widelands-website/sphinx_fixes
into lp:widelands-website.
Requested reviews:
Widelands Developers (widelands-dev)
Related bugs:
Bug #1512093 in Widelands Website: "Add tribes directory to developer
scripting reference"
https://bugs.launchpad.net/widelands-website/+bug/1512093
For more details, see:
https://code.launchpad.net/~widelands-dev/widelands-website/sphinx_fixes/+merge/301829
Small fix to remove the server error regarding 'modindex'.
Also corrected vertical align of formulas in
https://wl.widelands.org/docs/wl/geometry/
It also possible to change the color of the formulas, see
https://bugs.launchpad.net/widelands/+bug/1512093/comments/9
But this has to be done in the widelands source code.
See also bug 1512093
--
Your team Widelands Developers is requested to review the proposed merge of
lp:~widelands-dev/widelands-website/sphinx_fixes into lp:widelands-website.
=== modified file 'media/css/documentation.css'
--- media/css/documentation.css 2012-05-16 22:31:25 +0000
+++ media/css/documentation.css 2016-08-02 19:38:22 +0000
@@ -7,6 +7,10 @@
visibility: visible;
}
+img.math{
+ vertical-align: middle;
+}
+
/*******************************/
/* Pygment Syntax Highlighting */
/*******************************/
=== modified file 'sphinxdoc/views.py'
--- sphinxdoc/views.py 2016-06-13 07:14:59 +0000
+++ sphinxdoc/views.py 2016-08-02 19:38:22 +0000
@@ -15,7 +15,7 @@
SPECIAL_TITLES = {
'genindex': 'General Index',
- 'modindex': 'Module Index',
+ 'py-modindex': 'Module Index',
'search': 'Search',
}
=== modified file 'urls.py'
--- urls.py 2016-07-25 19:57:43 +0000
+++ urls.py 2016-08-02 19:38:22 +0000
@@ -34,7 +34,7 @@
# url(r'^articles/comments/', include('django_comments.urls')),
# Redirect old urls to docs to docs/wl
- url(r'^docs/$', RedirectView.as_view( url='/docs/wl' ), name='docs'),
+ url(r'^docs/$', RedirectView.as_view( url='/docs/wl', permanent=True ), name='docs'),
url (r'^docs/', include('sphinxdoc.urls')),
# 3rd party, modified for widelands
_______________________________________________
Mailing list: https://launchpad.net/~widelands-dev
Post to : widelands-dev@lists.launchpad.net
Unsubscribe : https://launchpad.net/~widelands-dev
More help : https://help.launchpad.net/ListHelp
