Mop-up for 3522d0eaba5, which missed some alternative output files.

Andres Freund <andres@anarazel.de>

Commit: 013f320dc390e501a766f89c5a8f650f4574d70f
Author: Andres Freund <andres@anarazel.de>
Date: 2018-07-23T00:39:02Z
Releases: 12.0
Mop-up for 3522d0eaba5, which missed some alternative output files.

Files

Documentation touched