diff --git a/lib/modules/Tools.pmod/Standalone.pmod/extract_autodoc.pike b/lib/modules/Tools.pmod/Standalone.pmod/extract_autodoc.pike index 9559b5c665c3a1e1a819821de06b3bd1681b34a4..91f9eab37d6f07d22a0ecc28984debf8b08154d9 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::".