diff options
Diffstat (limited to 'bin/find-german-comments')
-rwxr-xr-x | bin/find-german-comments | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/bin/find-german-comments b/bin/find-german-comments index 27a7018d81a9..76ebe0d0d5da 100755 --- a/bin/find-german-comments +++ b/bin/find-german-comments @@ -265,7 +265,7 @@ class Parser: "extensions" : 1, "external" : 1, "filter" : 1, - "forms" : 0, # + "forms" : 1, "formula" : 1, "fpicker" : 1, "framework" : 1, @@ -318,7 +318,7 @@ class Parser: "stoc" : 0, # "store" : 1, "svgio" : 1, - "svl" : 0, # + "svl" : 1, "svtools" : 1, "svx" : 0, # "sw" : 0, # @@ -348,6 +348,9 @@ class Parser: "xmlscript" : 1, } + if not directory is '.': + sys.stderr.write("Warning: pass an absolute path to the top-level in order to use the faster white-list search\n") + for path in lines: baseDir = self.first_elem(path) |