diff options
| author | w0rp <devw0rp@gmail.com> | 2017-08-30 21:56:43 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2017-08-30 21:56:43 +0100 |
| commit | fca77266bde1ed48b20ec37bab81d05f826e1e6c (patch) | |
| tree | fbe9a7744b81ae071610fa09a305009b3b3da763 /doc/ale-xml.txt | |
| parent | 688212130d7098cbc8079ea9f333fda8dfaf8f9f (diff) | |
| download | ale-fca77266bde1ed48b20ec37bab81d05f826e1e6c.zip | |
Complain about badly aligned documentation on Travis CI, and fix some existing problems
Diffstat (limited to 'doc/ale-xml.txt')
| -rw-r--r-- | doc/ale-xml.txt | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/doc/ale-xml.txt b/doc/ale-xml.txt index ddbeb31d..6c8af6c7 100644 --- a/doc/ale-xml.txt +++ b/doc/ale-xml.txt @@ -1,20 +1,20 @@ =============================================================================== -ALE XML Integration *ale-xml-options* +ALE XML Integration *ale-xml-options* =============================================================================== -xmllint *ale-xml-xmllint* +xmllint *ale-xml-xmllint* -g:ale_xml_xmllint_executable *g:ale_xml_xmllint_executable* - *b:ale_xml_xmllint_executable* +g:ale_xml_xmllint_executable *g:ale_xml_xmllint_executable* + *b:ale_xml_xmllint_executable* Type: |String| Default: `'xmllint'` This variable can be set to change the path to xmllint. -g:ale_xml_xmllint_options *g:ale_xml_xmllint_options* - *b:ale_xml_xmllint_options* +g:ale_xml_xmllint_options *g:ale_xml_xmllint_options* + *b:ale_xml_xmllint_options* Type: |String| Default: `''` |