Fixed bug where the command prompt wouldn't close after generating docs.