summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Doc/make.bat (renamed from Doc/builddoc.bat)0
1 files changed, 0 insertions, 0 deletions
diff --git a/Doc/builddoc.bat b/Doc/make.bat
index a26851fb78..a26851fb78 100644
--- a/Doc/builddoc.bat
+++ b/Doc/make.bat