doc: fix main latex file name

ghdl · May 3, 2020 · 34ca82a · 34ca82a
1 parent 6d0f2aa
commit 34ca82a
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/doc/make.sh b/doc/make.sh
@@ -20,9 +20,9 @@ set +e
 $dcmd btdi/latex:latest bash -c "
 cd _build/latex
 #make
-pdflatex -interaction=nonstopmode GHDL.tex;
-makeindex -s python.ist GHDL.idx;
-pdflatex -interaction=nonstopmode GHDL.tex;
+pdflatex -interaction=nonstopmode GHDLcosim.tex;
+makeindex -s python.ist GHDLcosim.idx;
+pdflatex -interaction=nonstopmode GHDLcosim.tex;
 "
 
 set -e