diff options
-rwxr-xr-x | bin/WIP/taler-local | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/WIP/taler-local b/bin/WIP/taler-local index a669fb2..6005769 100755 --- a/bin/WIP/taler-local +++ b/bin/WIP/taler-local @@ -142,6 +142,7 @@ def build_exchange(r: Repo, p: Path): "--enable-logging=verbose", f"--with-microhttpd={pfx}", f"--with-gnunet={pfx}", + "--disable-doc", ) subprocess.run(["make", "install"], check=True) (p / "taler-buildstamp").touch() |