Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-03 20:50:07 +01:00
Code Issues Projects Releases Packages Wiki Activity

Stop publishing the Rust book in mach doc and doc.servo.org (#32142)

Browse source
This commit is contained in:
Delan Azabani 2024-04-24 15:22:18 +08:00 • committed by GitHub
parent 2272944627
commit bef6c295aa
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 2 additions and 23 deletions
Download patch file Download diff file Expand all files Collapse all files

25
python/servo/post_build_commands.py
View file

@ -11,7 +11,7 @@ import json
import os import os
import os.path as path import os.path as path
import subprocess import subprocess
from shutil import copytree, rmtree, copy2 from shutil import copy2
from typing import List from typing import List
import mozdebug import mozdebug
@ -28,7 +28,7 @@ import servo.platform
from servo.command_base import ( from servo.command_base import (
BuildType, BuildType,
CommandBase, CommandBase,
check_call, check_output, check_call,
is_linux, is_linux,
) )
@ -241,32 +241,11 @@ class PostBuildCommands(CommandBase):
@CommandBase.common_command_arguments(build_configuration=True, build_type=False) @CommandBase.common_command_arguments(build_configuration=True, build_type=False)
def doc(self, params: List[str], **kwargs): def doc(self, params: List[str], **kwargs):
self.ensure_bootstrapped() self.ensure_bootstrapped()
rustc_path = check_output(
[f"rustup{servo.platform.get().executable_suffix()}", "which", "rustc"],
cwd=self.context.topdir).decode("utf-8")
assert path.basename(path.dirname(rustc_path)) == "bin"
toolchain_path = path.dirname(path.dirname(rustc_path))
rust_docs = path.join(toolchain_path, "share", "doc", "rust", "html")
docs = path.join(servo.util.get_target_dir(), "doc") docs = path.join(servo.util.get_target_dir(), "doc")
if not path.exists(docs): if not path.exists(docs):
os.makedirs(docs) os.makedirs(docs)
if read_file(path.join(docs, "version_info.html"), if_exists=True) != \
read_file(path.join(rust_docs, "version_info.html")):
print("Copying Rust documentation.")
# copytree doesn't like the destination already existing.
for name in os.listdir(rust_docs):
if not name.startswith('.'):
full_name = path.join(rust_docs, name)
destination = path.join(docs, name)
if path.isdir(full_name):
if path.exists(destination):
rmtree(destination)
copytree(full_name, destination)
else:
copy2(full_name, destination)
# Documentation build errors shouldn't cause the entire build to fail. This # Documentation build errors shouldn't cause the entire build to fail. This
# prevents issues with dependencies from breaking our documentation build, # prevents issues with dependencies from breaking our documentation build,
# with the downside that it hides documentation issues. # with the downside that it hides documentation issues.