A command-line tool for converting pdf-files into html PR: 27824 Submitted by: Soeren Boll Overgaard <boll@tolkien.dk>