widelands-dev team mailing list archive

[kaputtnik <somal@xxxxxxxx>]

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