again

diff --git a/scripts/mk_page.sh b/scripts/mk_page.sh
index ba2af9b218d10e4226b5533db97fd8bc0e697187..49263d73e00e1efab86df58302db57ca12c2b0f9 100644 (file)
--- a/scripts/mk_page.sh
+++ b/scripts/mk_page.sh
@@ -19,3 +19,4 @@ mkpage > docs/Reference/Plugins/$NAME.mdr
 echo $NAME >> docs/Reference/Plugins/list
 
 echo $NAME
+cat docs/Reference/Plugins/list