Add command-line argument to let make-docs.rb only convert a specific file