Script to write MIF files from ref*.{book,doc}