Habe gerade eben mal alle Plugins aktualisiert im DokuWiki und danach festgestellt, dass rechts in der Seitenleiste nun automatisch ein PDF-Export-Link auftaucht:

[PDF exportieren über die Pagetools – dank DW2PDF][2]
PDF exportieren über die Pagetools – dank DW2PDF

Dieser kommt vom Plugin DW2PDF; früher musste man selbst dafür sorgen, irgendwo solch einen Button zu erzeugen, seit DokuWiki „Binky“ vom Dezember 2013 können Plugins auch eigene Buttons in die Pagetools eintragen.

Sehr schön :)

BTW: Wäre schön, wenn DokuWiki die Möglichkeit bieten würde, alle Plugins regelmäßig selbständig zu aktualisieren…