diff --git a/python/servo/post_build_commands.py b/python/servo/post_build_commands.py
index 9a17589abc8..8e6c10c84c0 100644
--- a/python/servo/post_build_commands.py
+++ b/python/servo/post_build_commands.py
@@ -246,6 +246,9 @@ class PostBuildCommands(CommandBase):
         if not path.exists(docs):
             os.makedirs(docs)
 
+        # Document library crates to avoid package name conflict between severoshell
+        # and libservo. Besides, main.rs in servoshell is just a stub.
+        params.insert(0, "--lib")
         # Documentation build errors shouldn't cause the entire build to fail. This
         # prevents issues with dependencies from breaking our documentation build,
         # with the downside that it hides documentation issues.