<|start_filename|>tools/unix2dos4toc.bat<|end_filename|>
busybox unix2dos main_toc.txt 


<|start_filename|>tools/compress_pdf.bat<|end_filename|>
rem compress_pdf.sh for windows
busybox compress_pdf.sh
rem sleep n (sec) for batch
rem win 7+ have timeout cmd
ping 127.0.0.1 -n 3 > nul


<|start_filename|>NTU_patch/build.bat<|end_filename|>
..\tools\busybox.exe sh build.sh
pause