:wrench: use README

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index e33490624f2518f83f5576e64e1fc6ff087b3258..0c5dee02072eb7a3fa985d32769bf50f1bffe12d 100644 (file)
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -33,11 +33,11 @@ jobs:
 
     - 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
+        echo "#Core Reference" > docs/Reference/README.mdr
+        echo "compiler generated documentation" >> docs/Reference/README.mdr
+        echo '```gwion' >> docs/Reference/README.mdr
+        ./gwion --cdoc >> docs/Reference/README.mdr
+        echo '```' >> docs/Reference/README.mdr
         
     - name: Build book
       run: PATH=$PWD:$PATH make build