/doc/ should be replaced with /documentation/

Bug #880802 reported by Harish Narayanan on 2011-10-24
This bug affects 1 person
Affects Status Importance Assigned to Milestone
FEniCS Web
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
Anders Logg (logg) wrote :

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

Harish Narayanan (hnarayanan) wrote :


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  Edit
Everyone can see this information.

Other bug subscribers