diff --git a/doc/makepanda/makepandacore.py b/doc/makepanda/makepandacore.py
index 00238eda73..28d6b46985 100644
--- a/doc/makepanda/makepandacore.py
+++ b/doc/makepanda/makepandacore.py
@@ -83,6 +83,13 @@ def PrettyTime(t):
 def exit(msg):
     if (threading.currentThread() == MAINTHREAD):
         SaveDependencyCache()
+        # Move any files we've moved away back.
+        if os.path.isfile("dtool/src/dtoolutil/pandaVersion.h.moved"):
+          os.rename("dtool/src/dtoolutil/pandaVersion.h.moved", "dtool/src/dtoolutil/pandaVersion.h")
+        if os.path.isfile("dtool/src/dtoolutil/checkPandaVersion.h.moved"):
+          os.rename("dtool/src/dtoolutil/checkPandaVersion.h.moved", "dtool/src/dtoolutil/checkPandaVersion.h")
+        if os.path.isfile("dtool/src/dtoolutil/checkPandaVersion.cxx.moved"):
+          os.rename("dtool/src/dtoolutil/checkPandaVersion.cxx.moved", "dtool/src/dtoolutil/checkPandaVersion.cxx")
         print "Elapsed Time: "+PrettyTime(time.time() - STARTTIME)
         print msg
         sys.stdout.flush()