From 5dec53dbad6eb069fbcbcd3b46d245c4e0f82542 Mon Sep 17 00:00:00 2001 From: Mark Andrews Date: Thu, 4 Jul 2013 12:25:44 +1000 Subject: [PATCH] copy CHANGES.SE if it exists (cherry picked from commit 270506a2ce45999d9c173d13d6bc66bfb23df62a) --- win32utils/BuildSetup.bat | 1 + 1 file changed, 1 insertion(+) diff --git a/win32utils/BuildSetup.bat b/win32utils/BuildSetup.bat index f0b907d807..1947fb3e0a 100644 --- a/win32utils/BuildSetup.bat +++ b/win32utils/BuildSetup.bat @@ -56,6 +56,7 @@ copy index.html ..\Build\Release copy ..\doc\arm\*.html ..\Build\Release copy ..\doc\arm\Bv9ARM.pdf ..\Build\Release copy ..\CHANGES ..\Build\Release +if Exist ..\CHANGES.SE copy ..\CHANGES.SE ..\Build\Release copy ..\FAQ ..\Build\Release echo Copying the standalone manual pages.