documentation now has an 'edit' button

This commit is contained in:
Andreas Rumpf 2016-09-08 15:06:19 +02:00
commit dc8ec42969
3 changed files with 30 additions and 31 deletions

View file

@ -60,8 +60,10 @@ doc.item.toc = """
# * $url: whatever you did pass through the --docSeeSrcUrl switch (which also
# gets variables path/line replaced!)
doc.item.seesrc = """&nbsp;&nbsp;<a
href="${url}/${path}#L${line}"
class="link-seesrc" target="_blank">Source</a>"""
href="${url}/tree/${commit}/${path}#L${line}"
class="link-seesrc" target="_blank">Source</a>
<a href="${url}/edit/devel/${path}#L${line}" class="link-seesrc" target="_blank" >Edit</a>
"""
doc.toc = """
<ul class="simple simple-toc" id="toc-list">