From 73aaeb15cab13cb3375ab9e4b94b556828d0737c Mon Sep 17 00:00:00 2001
From: Georg Brandl <georg@python.org>
Date: Fri, 1 Feb 2008 18:08:09 +0000
Subject: [PATCH] Rename batch file.

---
 Doc/{builddoc.bat => make.bat} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename Doc/{builddoc.bat => make.bat} (100%)

diff --git a/Doc/builddoc.bat b/Doc/make.bat
similarity index 100%
rename from Doc/builddoc.bat
rename to Doc/make.bat
-- 
2.40.0