documentation: renames redundant filename

This commit is contained in:
@wwwjim 2019-12-23 10:35:16 -08:00
parent 99de8aa557
commit 5ecd5093a9