Revert "change documentation file name"

This reverts commit 82c1709e4882ab784e560a1f49f33339deb5d654.