Index: mkconfig.rb =================================================================== --- mkconfig.rb.orig 2008-06-06 12:39:57.000000000 +0200 +++ mkconfig.rb 2008-09-05 19:16:10.832214101 +0200 @@ -147,6 +147,11 @@ print <