diff options
| author | Andrew Solovay <asolovay@google.com> | 2018-01-08 15:57:29 -0800 |
|---|---|---|
| committer | Andrew Solovay <asolovay@google.com> | 2018-01-08 15:57:29 -0800 |
| commit | c40eccd9ad9e360496cce5feba8f4dde944937fe (patch) | |
| tree | c845ca6582d83c7d460f7fed10998718f3444e65 /docs/html | |
| parent | 12dad0c4fc5fc8f0988dca0fffd2d26f2cb04195 (diff) | |
docs: Adding file to support staging reference docs
We use the devsite tool to stage reference docs for review (to
go/dac-stage). That tool is currently broken, because it's expecting
to find a _reference-head-tags.html file which currently exists in
Piper but not in Gerrit. Copying that file into Gerrit lets us
build the Javadocs and stage them. (Files in p/f/b/docs don't
generally affect anything outside of the doc builds.)
Tested by building docs and staging Adapter.html to:
go/dac-stage/reference/android/widget/Adapter.html
Test: make ds-docs
Bug: 71717397
Change-Id: I05430f2d9f23e62b4423b2d6f304c4be1c43b880
Diffstat (limited to 'docs/html')
| -rw-r--r-- | docs/html/_shared/_reference-head-tags.html | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/docs/html/_shared/_reference-head-tags.html b/docs/html/_shared/_reference-head-tags.html new file mode 100644 index 000000000000..f66a7b7deff0 --- /dev/null +++ b/docs/html/_shared/_reference-head-tags.html @@ -0,0 +1,8 @@ + <!-- Added to Gerrit so we can stage reference docs directly from + Android builds; this file should *not* be migrated to Piper --> + + <meta name="top_category" value="develop" /> + <meta name="subcategory" value="reference" /> + <meta name="book_path" value="{% if book_path %}{{ book_path }}{% else %}/reference/_book.yaml{% endif %}" /> + <meta name="project_path" value="/reference/_project.yaml" /> + <meta name="page_type" value="reference" /> |