Updated options in makedocumentation.py
Trivial change