diff options
Diffstat (limited to 'macros/latex/contrib/wargame/doc/tutorial/Makefile')
-rw-r--r-- | macros/latex/contrib/wargame/doc/tutorial/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/macros/latex/contrib/wargame/doc/tutorial/Makefile b/macros/latex/contrib/wargame/doc/tutorial/Makefile index 5d4061c347..4947d84ee0 100644 --- a/macros/latex/contrib/wargame/doc/tutorial/Makefile +++ b/macros/latex/contrib/wargame/doc/tutorial/Makefile @@ -6,7 +6,7 @@ LATEX_FLAGS := -interaction=nonstopmode \ -file-line-error \ --synctex=15 \ -shell-escape -EXPORT := ../utils/export.py +EXPORT := ../utils/wgexport.py EXPORT_FLAGS := ifdef VERBOSE |