diff --git a/Documentation/asciidoc.defs b/Documentation/asciidoc.defs
index 2520c74f46..2caf725135 100644
--- a/Documentation/asciidoc.defs
+++ b/Documentation/asciidoc.defs
@@ -104,7 +104,11 @@ def genasciidoc(
     srcs = glob([
         'images/*.jpg',
         'images/*.png',
-      ]) + [':doc.css'],
+      ]) + [
+        ':doc.css',
+        '//gerrit-prettify:prettify.min.css',
+        '//gerrit-prettify:prettify.min.js',
+      ],
     out = out,
     visibility = visibility,
   )
diff --git a/Documentation/config.defs b/Documentation/config.defs
index 8d67173d18..380080faf9 100644
--- a/Documentation/config.defs
+++ b/Documentation/config.defs
@@ -17,5 +17,6 @@ def documentation_attributes(revision):
     'source-highlighter=prettify',
     'stylesheet=doc.css',
     'linkcss=true',
+    'prettifydir=.',
     'revnumber="%s"' % revision,
   ]
diff --git a/gerrit-prettify/BUCK b/gerrit-prettify/BUCK
index cde606ba46..b98a149eb7 100644
--- a/gerrit-prettify/BUCK
+++ b/gerrit-prettify/BUCK
@@ -44,3 +44,15 @@ java_library(
   ],
   visibility = ['PUBLIC'],
 )
+
+export_file(
+  name = 'prettify.min.js',
+  src = 'src/main/resources/com/google/gerrit/prettify/client/prettify.js',
+  visibility = ['//Documentation:'],
+)
+
+export_file(
+  name = 'prettify.min.css',
+  src = 'src/main/resources/com/google/gerrit/prettify/client/prettify.css',
+  visibility = ['//Documentation:'],
+)