diff --git a/Docs/src/build.bat b/Docs/src/build.bat
index 50782616..5cfb2583 100644
--- a/Docs/src/build.bat
+++ b/Docs/src/build.bat
@@ -1,5 +1,5 @@
 bin\halibut.exe config.but intro.but tutorial.but usage.but script.but var.but labels.but jumps.but pages.but sections.but usection.but functions.but callback.but attributes.but compilerflags.but basic.but registry.but generalpurpose.but flowcontrol.but file.but uninstall.but misc.but string.but stack.but int.but reboot.but log.but sec.but ui.but langs.but plugin.but compiler.but defines.but modernui.but usefulfunc.but usefulinfos.but history.but credits.but license.but
 @copy Contents.html index.html
 @copy index.html IndexPage.html
-@copy *.html ..\\
-@del -f *.html
\ No newline at end of file
+@copy *.html ..
+@del *.html
\ No newline at end of file