diff options
author | Matthias Vogelgesang <matthias.vogelgesang@kit.edu> | 2016-11-11 07:01:14 -0800 |
---|---|---|
committer | Matthias Vogelgesang <matthias.vogelgesang@kit.edu> | 2016-11-11 07:01:14 -0800 |
commit | 322596d0ae189bbb32276a8a7267b810bd40ff56 (patch) | |
tree | 242fe53e4052f4600f4ede71ba54b1fcca9c5892 /docs | |
parent | 31413db3eb0f57ae8aac20c589262d56d36416d8 (diff) |
Do not run xmllint on manpage generation output
Diffstat (limited to 'docs')
-rw-r--r-- | docs/CMakeLists.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/CMakeLists.txt b/docs/CMakeLists.txt index 34c5e3c..a56b595 100644 --- a/docs/CMakeLists.txt +++ b/docs/CMakeLists.txt @@ -41,6 +41,7 @@ if (A2X) file(MAKE_DIRECTORY ${MAN_BUILD_DIR}) set(A2X_OPTS + -L -D ${MAN_BUILD_DIR} -d manpage -f manpage |