Pack prettify.min.{js,css} into documentation.

Pack prettify.{js,css} files from gerrit-prettify into the documentation
package as prettify.min.{js,css}.

Bug: Issue 3440
Change-Id: I86585477fc43781768d4883c97c5c275b5bb8760
diff --git a/Documentation/asciidoc.defs b/Documentation/asciidoc.defs
index 2520c74..2caf725 100644
--- a/Documentation/asciidoc.defs
+++ b/Documentation/asciidoc.defs
@@ -104,7 +104,11 @@
     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 8d67173..380080f 100644
--- a/Documentation/config.defs
+++ b/Documentation/config.defs
@@ -17,5 +17,6 @@
     'source-highlighter=prettify',
     'stylesheet=doc.css',
     'linkcss=true',
+    'prettifydir=.',
     'revnumber="%s"' % revision,
   ]
diff --git a/gerrit-prettify/BUCK b/gerrit-prettify/BUCK
index cde606b..b98a149 100644
--- a/gerrit-prettify/BUCK
+++ b/gerrit-prettify/BUCK
@@ -44,3 +44,15 @@
   ],
   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:'],
+)