diff --git a/docs/BUILD.bazel b/docs/BUILD.bazel index e1c7430ded..9bcd931b34 100644 --- a/docs/BUILD.bazel +++ b/docs/BUILD.bazel @@ -59,6 +59,7 @@ rules_nodejs_docs( config = "_config.yml", css = "//docs/css", docs = [ + "search.md", "install.md", "repositories.md", "debugging.md", diff --git a/docs/Built-ins.html b/docs/Built-ins.html index e9c2859826..38a68226f7 100755 --- a/docs/Built-ins.html +++ b/docs/Built-ins.html @@ -53,6 +53,12 @@