- be nicer to other

Changed files:
    bin/pfa-genindex -> 1.17

diff --git a/bin/pfa-genindex b/bin/pfa-genindex
index c89f66b9ff516e9d82199210870d5c498731684d..9f554f112ca14d4b39918c52a1e21b247943dc5b 100644 (file)
--- a/bin/pfa-genindex
+++ b/bin/pfa-genindex
@@ -50,6 +50,7 @@ for tree in trees:
 home=os.environ['HOME']
 
 os.umask(022)
+os.nice(19)
 
 if do_poldek:
     for tree in trees: