Windows rc: Create the release dir.
commit761ece90c96402cf39a0f7d5a6b5fd039a954315
authorJohn MacFarlane <jgm@berkeley.edu>
dateFri 17 Jan 2020, 15:41 (7 years ago)
parentff4dd2b
.github/workflows/release-candidate.yml+1
@@ -65,6 +65,7 @@ jobs:
6565 echo Detected version %VERSION%
6666 @set WINDOWS=%CD%\windows
6767 @set RELEASE=%WINDOWS%\pandoc-%VERSION%
68+ mkdir %RELEASE%
6869 forfiles /P .\.stack-work\install /M pandoc*.exe /S /C "cmd /C echo @path && echo %%WINDOWS%% && copy @path %%RELEASE%%"
6970 stack exec pandoc -- -s --toc MANUAL.txt -o %RELEASE%\MANUAL.html
7071 stack exec pandoc -- -s COPYING.md -t rtf -o %RELEASE%\COPYING.rtf