openmicroscopy/ome-documentation — pull request #41 by sbesson (2012-09-05 13:05:40+00:00)
Title: Page reference refactoring

The original convention we adopted for page labels (i.e. using its path + file name) is redundant with sphinx doc directive.

This PR addresses this redundancy:
- by replacing all references to entire pages using the doc directive
- by removing all page labels containing the path to the file
- labels and references to page sub-sections are preserved

Note that we still don't have any convention regarding section labels (using or not #, include the file name in the label...)

A consequence of this work is that any file move will imply a modification of all links to this page. However, this annoyance can also be viewed as a safe mechanism during documentation refactoring. Additionally, for references that are widely spread across documentation, we can always define global substitutions in the conf.py.