fix make_dest_filename to really not end up with similar dest filenames
[booh] / lib / booh /
drwxr-xr-x   ..
-rw-r--r-- 11392 GtkAutoTable.rb
-rw-r--r-- 2259 UndoHandler.rb
-rw-r--r-- 17154 booh-lib.rb
-rw-r--r-- 14149 html-merges.rb
-rw-r--r-- 611 pre-setup.rb