diff options
author | davidovski <david@davidovski.xyz> | 2023-02-02 14:10:02 +0000 |
---|---|---|
committer | davidovski <david@davidovski.xyz> | 2023-02-02 14:10:02 +0000 |
commit | f29d569cd33a73da5ad675f43a34ad53c5cc9bc6 (patch) | |
tree | 76fe6267f8307e7630fc6f53ff99a9767ad40de0 /repo/nlohmann-json | |
parent | 05d004dfe0c9a9d898fac8a4a0292ca2a74ca391 (diff) |
Work
Diffstat (limited to 'repo/nlohmann-json')
-rw-r--r-- | repo/nlohmann-json/nlohmann-json.xibuild | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/repo/nlohmann-json/nlohmann-json.xibuild b/repo/nlohmann-json/nlohmann-json.xibuild index ae9f817..1f86a3b 100644 --- a/repo/nlohmann-json/nlohmann-json.xibuild +++ b/repo/nlohmann-json/nlohmann-json.xibuild @@ -16,7 +16,6 @@ build() { -DJSON_MultipleHeaders=ON cmake --build build - make -C doc } check() { @@ -28,7 +27,7 @@ check() { package() { DESTDIR="$PKG_DEST" cmake --install build - install -dm755 "$PKG_DEST"/usr/share/doc/nlohmann-json - mv doc/mkdocs "$PKG_DEST"/usr/share/doc/nlohmann-json/ + #install -dm755 "$PKG_DEST"/usr/share/doc/nlohmann-json + #mv doc/mkdocs "$PKG_DEST"/usr/share/doc/nlohmann-json/ } |