3d597da449
Although we now build the documentation with buck, the asciidoc build is much faster and more convenient for quickly generating html files while making documentation updates. Note that due to some asciidoctor specific formatting, not all of the documents render correctly with asciidoc. This should of course not be used for verifying documentation changes, or for building any official documentation. Change-Id: I92ecde69e066d08920a1b419e76bf594e87c9bd3
30 lines
541 B
Plaintext
30 lines
541 B
Plaintext
[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>
|