Displaying 1 result from an estimated 1 matches for "man_files".
Did you mean:
lan_files
2014 Jul 06
0
request for "minor" fix to src/library/tools/QC.r
...r 2014-03-25 01:15:06.000000000 +0200
+++ src/library/tools/R/mod-QC.r 2014-07-06 14:05:46.000000000 +0300
@@ -4372,6 +4372,9 @@
full.names = FALSE,
OS_subdirs = OS_subdirs)
wrong <- setdiff(all_files, man_files)
+ ## now configure might generate files in this directory
+ generated <- grep("\\.in$", wrong)
+ if(length(generated)) wrong <- wrong[-generated]
if(length(wrong)) {
wrong_things$man <- wrong
if(doDelete) unlink(file.path(d...