]> Nishi Git Mirror - gwion.git/commitdiff
again
authorJérémie Astor <fennecdjay@gmail.com>
Wed, 23 Mar 2022 07:39:58 +0000 (08:39 +0100)
committerJérémie Astor <fennecdjay@gmail.com>
Wed, 23 Mar 2022 07:39:58 +0000 (08:39 +0100)
scripts/mk_page.sh

index e774ffcf6ccb631f4980967adf9becae93b10950..ba2af9b218d10e4226b5533db97fd8bc0e697187 100644 (file)
@@ -17,3 +17,5 @@ echo '```'
 
 mkpage > docs/Reference/Plugins/$NAME.mdr
 echo $NAME >> docs/Reference/Plugins/list
+
+echo $NAME