From ee849ff66ee958c71132a6cdcafd0f52364a9b90 Mon Sep 17 00:00:00 2001
From: Joshua Nelson <joshua@yottadb.com>
Date: Mon, 19 Oct 2020 22:31:34 -0400
Subject: [PATCH] Revert "Remove outdated build rustdoc --stage 1"

This reverts commit cd35d2b5944d8436350b7f2f16f5e720d9912db6.
---
 src/rustdoc-internals.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/rustdoc-internals.md b/src/rustdoc-internals.md
index bfe29122..f9c37ecd 100644
--- a/src/rustdoc-internals.md
+++ b/src/rustdoc-internals.md
@@ -201,7 +201,7 @@ server. To test these features locally, you can run a local HTTP server, like
 this:
 
 ```bash
-$ ./x.py doc library/std
+$ ./x.py doc library/std --stage 1
 # The documentation has been generated into `build/[YOUR ARCH]/doc`.
 $ python3 -m http.server -d build/[YOUR ARCH]/doc
 ```