From 4a0007784d9df997959a7c9343f3c23f2c5a6af3 Mon Sep 17 00:00:00 2001 From: Ivan Blinkov Date: Fri, 6 Dec 2019 16:29:16 +0300 Subject: [PATCH] attempt to fix pdf docs build (#8065) --- .../mkdocs-material-theme/assets/javascripts/lunr/lunr.ja.js | 1 + 1 file changed, 1 insertion(+) create mode 120000 docs/tools/mkdocs-material-theme/assets/javascripts/lunr/lunr.ja.js diff --git a/docs/tools/mkdocs-material-theme/assets/javascripts/lunr/lunr.ja.js b/docs/tools/mkdocs-material-theme/assets/javascripts/lunr/lunr.ja.js new file mode 120000 index 00000000000..c20586be8a3 --- /dev/null +++ b/docs/tools/mkdocs-material-theme/assets/javascripts/lunr/lunr.ja.js @@ -0,0 +1 @@ +lunr.jp.js \ No newline at end of file