@@ -65,6 +65,7 @@ jobs:
65 echo Detected version %VERSION%
65 echo Detected version %VERSION%
66 @set WINDOWS=%CD%\windows
66 @set WINDOWS=%CD%\windows
67 @set RELEASE=%WINDOWS%\pandoc-%VERSION%
67 @set RELEASE=%WINDOWS%\pandoc-%VERSION%
68 forfiles /P .\.stack-work\install /M pandoc*.exe /S /C "cmd /C echo @path && echo %%WINDOWS%% && copy @path %%RELEASE%%"
69 forfiles /P .\.stack-work\install /M pandoc*.exe /S /C "cmd /C echo @path && echo %%WINDOWS%% && copy @path %%RELEASE%%"
69 stack exec pandoc -- -s --toc MANUAL.txt -o %RELEASE%\MANUAL.html
70 stack exec pandoc -- -s --toc MANUAL.txt -o %RELEASE%\MANUAL.html
70 stack exec pandoc -- -s COPYING.md -t rtf -o %RELEASE%\COPYING.rtf
71 stack exec pandoc -- -s COPYING.md -t rtf -o %RELEASE%\COPYING.rtf