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
(cherry picked from commit 894dd9d103)

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,
   )

Documentation/config.defs

@@ -17,5 +17,6 @@ def documentation_attributes(revision):
     'source-highlighter=prettify',
     'stylesheet=doc.css',
     'linkcss=true',
+    'prettifydir=.',
     'revnumber="%s"' % revision,
   ]

gerrit-prettify/BUCK

@@ -45,3 +45,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:'],
+)