diff options
| author | Peter Eisentraut <peter_e@gmx.net> | 2015-06-10 19:54:28 -0400 |
|---|---|---|
| committer | Peter Eisentraut <peter_e@gmx.net> | 2015-06-10 19:54:28 -0400 |
| commit | 75a49ba550bae7a44bc1c4b2b7413a1768f70829 (patch) | |
| tree | 15fc427e3611dbc41aeede757760f25b29db9624 /src | |
| parent | 870681017a9e39e25aca14a2426cdbc57e3ce2af (diff) | |
doc: Call xmllint for validity also in the fop build
This was somehow missed in commit
5d93ce2d0c619ba1b408eb749715e7223e23f6ae.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions