Update tests for docgen.

viklauverk · Jul 17, 2024 · bbc0c0c · bbc0c0c
1 parent 5badb4d
commit bbc0c0c
Show file tree

Hide file tree

Showing 8 changed files with 8 additions and 8 deletions.
diff --git a/models/Makefile b/models/Makefile
@@ -17,7 +17,7 @@ bsymb.sty:
 	cp ../doc/bsymb.sty .
 
 %.pdf: % bsymb.sty
-	$(EVBT) docgen -q tex $<
+	$(EVBT) docgen --tex -q $<
 	@echo "xelatex $<.tex"
 	@xelatex -interaction=batchmode -halt-on-error $<.tex >> /tmp/evbtmodels.log 2>&1
 	@echo "makeindex $<.idx"

diff --git a/tests/test_coffeeclub.sh b/tests/test_coffeeclub.sh
@@ -19,7 +19,7 @@ rm -rf $OUTDIR
 mkdir -p $OUTDIR
 
 INFO="Generated coffee club tex file."
-$PROG docgen -q --outputdir=$OUTDIR tex models/CoffeeClub
+$PROG docgen --tex -q --outputdir=$OUTDIR models/CoffeeClub
 cp doc/bsymb.sty $OUTDIR
 xelatex -output-directory=$OUTDIR -interaction=batchmode -halt-on-error $OUTDIR/CoffeeClub.tex > $OUTDIR/tmp 2>&1
 

diff --git a/tests/test_edk.sh b/tests/test_edk.sh
@@ -19,7 +19,7 @@ OUTDIR="$DIR/$TESTNAME"
 mkdir -p $OUTDIR
 
 INFO="Tested generation of tex from EDK model."
-$PROG docgen -q --outputdir=$OUTDIR tex src/event-b/EDK
+$PROG docgen --tex -q --outputdir=$OUTDIR src/event-b/EDK
 cp doc/bsymb.sty $OUTDIR
 xelatex -output-directory=$OUTDIR -aux-directory=$OUTDIR -interaction=batchmode -halt-on-error $OUTDIR/EDK.tex > $OUTDIR/tmp 2>&1
 

diff --git a/tests/test_elevator.sh b/tests/test_elevator.sh
@@ -18,7 +18,7 @@ OUTDIR="$DIR/$TESTNAME"
 mkdir -p $OUTDIR
 
 INFO="Generated elevator tex file."
-$PROG docgen -q --outputdir=$OUTDIR tex models/Elevator
+$PROG docgen --tex -q --outputdir=$OUTDIR models/Elevator
 cp doc/bsymb.sty $OUTDIR
 xelatex -output-directory=$OUTDIR -aux-directory=$OUTDIR -interaction=batchmode -halt-on-error $OUTDIR/Elevator.tex > $OUTDIR/tmp 2>&1
 

diff --git a/tests/test_projections.sh b/tests/test_projections.sh
@@ -20,7 +20,7 @@ mkdir -p $OUTDIR
 
 INFO="Tested projections."
 
-$PROG docgen -q tex models/Projections
+$PROG docgen --tex -q models/Projections
 if [ "$?" = "0" ]
 then
     echo "OK $INFO"

diff --git a/tests/test_setcomprehensions.sh b/tests/test_setcomprehensions.sh
@@ -19,7 +19,7 @@ OUTDIR="$DIR/$TESTNAME"
 mkdir -p $OUTDIR
 
 INFO="Test parsing of set comprehension."
-$PROG docgen -q --outputdir=$OUTDIR tex  models/SetComprehensions
+$PROG docgen --tex -q --outputdir=$OUTDIR models/SetComprehensions
 if [ "$?" = "0" ]
 then
     echo "OK $INFO"

diff --git a/tests/test_simpletheory.sh b/tests/test_simpletheory.sh
@@ -18,7 +18,7 @@ OUTDIR="$DIR/$TESTNAME"
 mkdir -p $OUTDIR
 
 INFO="Generated simple theory tex file."
-$PROG docgen -q --outputdir=$OUTDIR tex models/SimpleTheoryTest
+$PROG docgen --tex -q --outputdir=$OUTDIR models/SimpleTheoryTest
 cp doc/bsymb.sty $OUTDIR
 xelatex -output-directory=$OUTDIR -aux-directory=$OUTDIR -interaction=batchmode -halt-on-error $OUTDIR/SimpleTheoryTest.tex > $OUTDIR/tmp 2>&1
 

diff --git a/tests/test_wellcommented.sh b/tests/test_wellcommented.sh
@@ -18,7 +18,7 @@ OUTDIR="$DIR/$TESTNAME"
 mkdir -p $OUTDIR
 
 INFO="Generated well commented tex file."
-$PROG docgen -q --outputdir=$OUTDIR tex models/WellCommented
+$PROG docgen --tex -q --outputdir=$OUTDIR models/WellCommented
 cp doc/bsymb.sty $OUTDIR
 xelatex -output-directory=$OUTDIR -aux-directory=$OUTDIR -interaction=batchmode -halt-on-error $OUTDIR/WellCommented.tex > $OUTDIR/tmp 2>&1