build the doc using my fork

LPCIC · Aug 12, 2021 · 4387988 · 4387988
1 parent b4c4b0c
commit 4387988
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
@@ -36,7 +36,10 @@ jobs:
 
     - name: build doc
       run: |
-        stty cols 65 || true
+        git clone https://github.com/gares/alectryon -b ghref
+        mv alectryon.py alectryon
+        export PATH=$PWD/alectryon:$PATH
+        stty cols 60 || true
         opam exec -- make doc COQ_ELPI_ALREADY_INSTALLED=1
 
     - name: deploy

diff --git a/Makefile b/Makefile
@@ -52,7 +52,7 @@ doc: $(DOCDEP)
 	@echo "########################## generating doc ##########################"
 	@mkdir -p doc
 	@$(foreach tut,$(wildcard examples/tutorial*.v),\
-		echo ALECTRYON $(tut); alectryon/alectryon.py \
+		echo ALECTRYON $(tut); alectryon \
 		    --frontend coq+rst \
 			--output-directory doc \
 		    --sertop-arg=--topfile=Tutorial \