Re: [GHC] #11433: sphinx: Error: source directory and destination directory are same.