diff options
author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-11-14 00:14:56 +0100 |
---|---|---|
committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-11-14 00:14:56 +0100 |
commit | 731019f962e3730be4c976f7e395dbc62bf61b15 (patch) | |
tree | e0da639718f71535c564528afc07ac947faf67ca | |
parent | 57dd2c6be316fd5e379ebdb70329f91089afb9aa (diff) | |
download | deployment-731019f962e3730be4c976f7e395dbc62bf61b15.tar.gz deployment-731019f962e3730be4c976f7e395dbc62bf61b15.tar.bz2 deployment-731019f962e3730be4c976f7e395dbc62bf61b15.zip |
--disable-doc for mhd
-rw-r--r-- | docker/base/Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docker/base/Dockerfile b/docker/base/Dockerfile index ded1dec..a21d2ef 100644 --- a/docker/base/Dockerfile +++ b/docker/base/Dockerfile @@ -36,6 +36,6 @@ RUN ./bootstrap \ WORKDIR ../libmicrohttpd RUN ./bootstrap \ - && ./configure \ + && ./configure --disable-doc \ && make \ && make install |