From 03d2d6057b2f2a3ce38c2af3bf18dadee684714f Mon Sep 17 00:00:00 2001
From: Jack Lloyd <jack@randombit.net>
Date: Thu, 7 Dec 2017 10:12:06 -0500
Subject: Remove the doc.stamp file in make clean target [ci skip]

Otherwise make docs followed by make clean leaves docs unbuilt
and make won't rebuild them. GH #1337
---
 src/scripts/cleanup.py | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/scripts')

diff --git a/src/scripts/cleanup.py b/src/scripts/cleanup.py
index 6dc7d2408..7660076dc 100755
--- a/src/scripts/cleanup.py
+++ b/src/scripts/cleanup.py
@@ -100,6 +100,8 @@ def main(args=None):
             dir_path = build_config[dir_type]
             remove_all_in_dir(dir_path)
 
+        remove_file(build_config['doc_stamp_file'])
+
         try:
             shutil.rmtree(build_config['doc_output_dir'])
         except OSError:
-- 
cgit v1.2.3