tree b73e2ad7350ab9331848fd557f5e1a69ee37dcfe
parent b42d8301bfe68955177d85dfef50bed8c4bc91f7
author Luca Milanesio <luca.milanesio@gmail.com> 1620308842 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1620308842 +0100

Fix config.md keys using @PLUGIN@ placeholder

The config.md contained incorrect key prefixes and
also did not use the @PLUGIN@ placeholder, leading
to misleading documentation.

Use the correct key values and allow a flexible naming
of the plugin, allowing other names to be reflected
in the rendering of config.md.

Change-Id: Ia2bab666a2091bfbb0cef8efa152df91b8d90d07