[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[gnunet] 02/04: BUILD: Clean documentation before rebuilding from bootst
From: |
gnunet |
Subject: |
[gnunet] 02/04: BUILD: Clean documentation before rebuilding from bootstrap |
Date: |
Thu, 05 Jan 2023 10:07:06 +0100 |
This is an automated email from the git hooks/post-receive script.
martin-schanzenbach pushed a commit to branch master
in repository gnunet.
commit a5f1827bae74a456ed83d2b196b0249b88cf0081
Author: Martin Schanzenbach <schanzen@gnunet.org>
AuthorDate: Thu Jan 5 18:05:54 2023 +0900
BUILD: Clean documentation before rebuilding from bootstrap
---
bootstrap | 3 +++
1 file changed, 3 insertions(+)
diff --git a/bootstrap b/bootstrap
index 727df2e99..9c830d471 100755
--- a/bootstrap
+++ b/bootstrap
@@ -108,6 +108,9 @@ sphinx_update()
if existence sphinx-build; then
cwd=$PWD
cd contrib/sphinx || exit 1
+ if test -e _build; then
+ make clean
+ fi
# GNS
make html >/dev/null || exit 1
if test -e ../../doc/handbook/html; then
--
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.