]> Nishi Git Mirror - gwion.git/commitdiff
:wrench: Try to dump copiler reference
authorJérémie Astor <fennecdjay@gmail.com>
Tue, 22 Mar 2022 16:44:29 +0000 (17:44 +0100)
committerJérémie Astor <fennecdjay@gmail.com>
Tue, 22 Mar 2022 16:44:29 +0000 (17:44 +0100)
.github/workflows/build.yml
scripts/update.sh

index d7ac6ee838345dd9d94e032d581d7f0b62363724..dca3e3229dc9c9eeb6421e2b7f37a262b7116d4c 100644 (file)
@@ -31,6 +31,14 @@ jobs:
         cd gwion-benchmark
         git pull origin results
 
+    - name: Core Reference
+      run: |
+        echo "#Core Reference" > docs/Reference/Core_Reference.mdr
+        echo "compiler generated documentation" >> docs/Reference/Core_Reference.mdr
+        echo "```gwion" >> docs/Reference/Core_Reference.mdr
+        ./gwion --cdoc >> docs/Reference/Core_Reference.mdr
+        echo "```" >> docs/Reference/Core_Reference.mdr
+        
     - name: Build book
       run: PATH=$PWD:$PATH make build
 
index 6e288f573fbad99c80d128d378929690875361e5..8cf9e86becc9ce0361df6ad057580a481f62e8fe 100644 (file)
@@ -8,17 +8,12 @@ get_latest_release() {
 
 update() {
   new_release=$(get_latest_release $1 $2)
-#  url=https://github.com/$1/$2/releases/download
   file=${2}*.zip
   wget "$new_release"
   7z e $file
   rm $file
 }
 
-#git clone --recursive https://github.com/Gwion/Gwion
-#make -C Gwion
-#cp Gwion/gwion .
-
 update Gwion      gwion
 update fennecdjay mdr
 update fennecdjay cmojify