diff --git a/Docs/src/build.bat b/Docs/src/build.bat index c7ee128d..5d04a768 100644 --- a/Docs/src/build.bat +++ b/Docs/src/build.bat @@ -1,8 +1,5 @@ bin\halibut.exe config.but intro.but usage.but script.but attributes.but compilerflags.but pages.but sections.but basic.but registry.but generalpurpose.but flowcontrol.but file.but misc.but string.but stack.but int.but reboot.but uninstall.but log.but sec.but functions.but labels.but var.but usection.but callback.but compiler.but defines.but plugin.but history.but modernui.but usefulfunc.but license.but -@del *.hlp -@del *.cnt @copy Contents.html index.html @copy index.html IndexPage.html -@del output.txt @copy *.html ..\\ @del -f *.html