From a996424960251ec527118631d7bf05aaf7ab2275 Mon Sep 17 00:00:00 2001
From: Per Hedbor <ph@opera.com>
Date: Mon, 10 Sep 2012 11:44:02 +0200
Subject: [PATCH] If there is a file .noautodocs in a directory, do not
traverse it.
---
lib/modules/Tools.pmod/Standalone.pmod/extract_autodoc.pike | 3 +++
1 file changed, 3 insertions(+)
diff --git a/lib/modules/Tools.pmod/Standalone.pmod/extract_autodoc.pike b/lib/modules/Tools.pmod/Standalone.pmod/extract_autodoc.pike
index 9559b5c665..91f9eab37d 100644
--- a/lib/modules/Tools.pmod/Standalone.pmod/extract_autodoc.pike
+++ b/lib/modules/Tools.pmod/Standalone.pmod/extract_autodoc.pike
@@ -177,6 +177,9 @@ void recurse(string srcdir, string builddir, int root_ts, array(string) root)
werror("Extracting from %s\n", srcdir);
Stdio.Stat st;
+ if(file_stat(srcdir+"/.noautodoc"))
+ return;
+
if(st = file_stat(srcdir+"/.autodoc")) {
// Note .autodoc files are space-separated to allow for namespaces like
// "7.0::".
--
GitLab