From 27cee0525c18297277358d699bec4d5e8956711e Mon Sep 17 00:00:00 2001 From: PeridexisErrant Date: Wed, 23 Sep 2015 14:21:10 +1000 Subject: [PATCH] Change back to default make.bat name We'll need to hook building docs into the main build process at some point, but this is good for now. --- make-docs.bat => make.bat | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename make-docs.bat => make.bat (100%) diff --git a/make-docs.bat b/make.bat similarity index 100% rename from make-docs.bat rename to make.bat