Commit Graph

3 Commits (9ad21fbfb59495e10e9c910da8dc94c763a7f807)

Author SHA1 Message Date
Dag Wieers ba370b178d
docsite: Add 'Edit on GitHub' for module docs (#36667)
This is something I always wanted, a 'Edit on GitHub' button for module
documentation.

I also removed the additional statement in the footer with instructions
on how to edit the module documentation.

PS The links go directly into the GitHub file editor now !
7 years ago
Brian Coca 2a5d949c52 corrected path to edit docs on devel to new loc
fixes #20474
8 years ago
Brian Coca 57f8b791d6 consolidated docs
point to new doc locations
removed non existing dirs
8 years ago