From 60f41e88b4b8094bc314c1566479c1aa5106a5fc Mon Sep 17 00:00:00 2001 From: Gary Verhaegen Date: Tue, 11 Jul 2023 17:39:38 +0200 Subject: [PATCH] docs: remove unused exports (#17109) --- docs/BUILD.bazel | 5 ----- 1 file changed, 5 deletions(-) diff --git a/docs/BUILD.bazel b/docs/BUILD.bazel index 759a8321ad1..641067e8faa 100644 --- a/docs/BUILD.bazel +++ b/docs/BUILD.bazel @@ -16,11 +16,6 @@ load( exports_files( [ - "configs/html/conf.py", - "configs/static/pygments_daml_lexer.py", - "configs/static/typescript.py", - "scripts/check-closing-quotes.sh", - "scripts/check-closing-quotes.sh.allow", "source/tools/export/output-root/Export.daml", "source/tools/export/output-root/args.json", "source/tools/export/output-root/daml.yaml",