doc: Fix filename

This commit is contained in:
Matthias Beyer 2016-07-30 20:58:04 +02:00
parent 6f71dc517f
commit bbb5e58583