From d09b85bba0fa387f2df103edf8a4947894758aa9 Mon Sep 17 00:00:00 2001 From: Arni Magnusson Date: Mon, 22 Jan 2018 13:27:33 +0000 Subject: [PATCH] Filename of autodif manual --- builder/adstudio-components.bat | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/builder/adstudio-components.bat b/builder/adstudio-components.bat index cc016e3..d8e41a0 100644 --- a/builder/adstudio-components.bat +++ b/builder/adstudio-components.bat @@ -83,7 +83,7 @@ innoextract -s -d temp %RTOOLS% @echo *** Renaming manuals ... rename admb-%VERSION%.pdf admb.pdf rename admbre-%VERSION%.pdf admbre.pdf -rename autodif-%VERSION% autodif.pdf +rename autodif-%VERSION%.pdf autodif.pdf @popd echo. @echo Done