summaryrefslogtreecommitdiff
path: root/cleaner.sce
diff options
context:
space:
mode:
Diffstat (limited to 'cleaner.sce')
-rw-r--r--cleaner.sce7
1 files changed, 7 insertions, 0 deletions
diff --git a/cleaner.sce b/cleaner.sce
index 3fe66e3..5947950 100644
--- a/cleaner.sce
+++ b/cleaner.sce
@@ -49,6 +49,13 @@ function perform_clean()
if isfile(root_tlbx + "/unloader.sce") then
mdelete(root_tlbx + "/unloader.sce");
end
+
+ if isdir(root_tlbx + "/help/en_US") then
+ xmlfiles = findfiles(root_tlbx + "/help/en_US/", "*.xml");
+ if ~isempty(xmlfiles) then
+ deletefile(root_tlbx + "/help/en_US/" + xmlfiles);
+ end
+ end
endfunction
try