/doc/ should be replaced with /documentation/

Bug #880802 reported by Harish Narayanan
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
FEniCS Web
Fix Committed
Critical
Harish Narayanan

Bug Description

All the other pages on the site have full words in their URIs. Using /documentation/ instead of /doc/ will follow this trend for the documentation page.

Changed in fenics-web:
milestone: none → 1.0
assignee: nobody → Harish Narayanan (hnarayanan)
importance: Undecided → Critical
status: New → Confirmed
Revision history for this message
Anders Logg (logg) wrote :

Agree, but we need a redirect from /doc/ to /documentation/.

Revision history for this message
Harish Narayanan (hnarayanan) wrote :

Agree.

Revision history for this message
Harish Narayanan (hnarayanan) wrote :

Anders or Johannes: Could you fix the documentation generator scripts to put their output in the right place?

Changed in fenics-web:
status: Confirmed → Fix Released
status: Fix Released → Fix Committed
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.