State the sphinx.extension as a adependency for html and man targets.
Convert MIDI to MP3.