From 0efa2133113f0d012666d300e7aedd1c5e607a94 Mon Sep 17 00:00:00 2001 From: Cristian Maureira-Fredes Date: Mon, 7 May 2018 14:38:36 +0200 Subject: Add option to skip docs generation Adding option to avoid building the documentation. Change-Id: Ia5595e6686c6e7d31e94818c1efb28238a3fbfc7 Reviewed-by: Alexandru Croitor --- setup.py | 1 + 1 file changed, 1 insertion(+) (limited to 'setup.py') diff --git a/setup.py b/setup.py index dda7b29a0..bfc9b5a48 100644 --- a/setup.py +++ b/setup.py @@ -129,6 +129,7 @@ using `setup.py build`: arguments, etc. --sanitize-address will build the project with address sanitizer enabled (Linux or macOS only). + --skip-docs skip the documentation generation. REQUIREMENTS: -- cgit v1.2.3