Fix mike invocation

support/mkdocs

@@ -64,6 +64,10 @@ if len(args) > 0:
     if ret != 0 or version == 'dev':
       sys.exit(ret)
     current_doc_path = os.path.join(site_dir, version)
+    # mike stages files added by deploy for deletion for unclear reason,
+    # undo it.
+    ret = call(['git', 'reset', '--hard'], cwd=site_dir)
+    if False:
       os.makedirs(current_doc_path, exist_ok=True)
       redirect_page_path = os.path.join(current_doc_path, 'api.html')
       with open(redirect_page_path, "w") as file: