diff options
| author | Jimmy Thrasher <jimmy@jimmythrasher.com> | 2016-02-11 08:49:18 -0500 |
|---|---|---|
| committer | Jimmy Thrasher <jimmy@jimmythrasher.com> | 2016-02-11 08:50:06 -0500 |
| commit | 4c355488aa4876aeee63a5c983405379dafc716a (patch) | |
| tree | b9f8d35b0acc49e9c154d16666f7e3fb504c61f1 /src/string.cc | |
| parent | 9cdfa4a81c9eee18a08bfef1bba43839fbc716f3 (diff) | |
Turn off xmllint for a2x.py
The docbook DTD is not locally available in OSX, and the a2x.py
command calls xmllint with `--nonet` so it can't fetch the DTD.
Easier to just turn off linting.
Diffstat (limited to 'src/string.cc')
0 files changed, 0 insertions, 0 deletions