[attributes] | |
asterisk=* | |
plus=+ | |
caret=^ | |
startsb=[ | |
endsb=] | |
tilde=~ | |
[specialsections] | |
GERRIT=gerrituplink | |
[gerrituplink] | |
<hr style=" | |
height: 2px; | |
color: silver; | |
margin-top: 1.2em; | |
margin-bottom: 0.5em; | |
"> | |
[macros] | |
(?u)^(?P<name>get)::(?P<target>\S*?)$=# | |
[get-blockmacro] | |
<a id="{target}" onmousedown="javascript: | |
var i = document.URL.lastIndexOf('/Documentation/'); | |
var url = document.URL.substring(0, i) + '{target}'; | |
document.getElementById('{target}').href = url;"> | |
GET {target} HTTP/1.0 | |
</a> |