Index: docs/old_windows_build_instructions.md |
diff --git a/docs/windows_build_instructions.md b/docs/old_windows_build_instructions.md |
similarity index 97% |
copy from docs/windows_build_instructions.md |
copy to docs/old_windows_build_instructions.md |
index bccc225889f0c173c758c9bbffcaf3c43331f9d7..58ad8b2e6c9a46a2fa2c12336c6d594869587919 100644 |
--- a/docs/windows_build_instructions.md |
+++ b/docs/old_windows_build_instructions.md |
@@ -1,5 +1,8 @@ |
# Windows Build Instructions |
+**Generally, this page is obsolete and you should look at |
+[the new page instead](windows_build_instructions.md).** |
+ |
## Common checkout instructions |
This page covers Windows-specific setup and configuration. The |