From 2d9d36ea461baff8c2d247e6a34d7ae703d7461b Mon Sep 17 00:00:00 2001 From: Joel Marcey Date: Tue, 6 Sep 2016 21:08:53 -0700 Subject: [PATCH] Have "Edit on GitHub" point to master instead of gh-pages Summary: If someone clicks on `Edit on GitHub` to edit a doc for a pull request, for example, then we should point to `master` instead of `gh-pages`. > Also fixed some Windows-based line endings. From CRLF to LF. Test Plan: https://www.facebook.com/pxlcld/pvV2 Reviewers: IslamAbdelRahman, lgalanis, sdong Reviewed By: sdong Subscribers: andrewkr, dhruba, leveldb Differential Revision: https://reviews.facebook.net/D63435 --- docs/_includes/doc.html | 50 ++++++++++++++++++++--------------------- 1 file changed, 25 insertions(+), 25 deletions(-) diff --git a/docs/_includes/doc.html b/docs/_includes/doc.html index e0bb7206e..4c86eb6b6 100644 --- a/docs/_includes/doc.html +++ b/docs/_includes/doc.html @@ -1,25 +1,25 @@ -
-
-

{% if include.truncate %}{{ page.title }}{% else %}{{ page.title }}{% endif %}

-
- -
- {% if include.truncate %} - {% if page.content contains '' %} - {{ page.content | split:'' | first }} - - {% else %} - {{ page.content }} - {% endif %} - {% else %} - {{ content }} - -

Edit on GitHub

- {% endif %} -
- {% include doc_paging.html %} -
+
+
+

{% if include.truncate %}{{ page.title }}{% else %}{{ page.title }}{% endif %}

+
+ +
+ {% if include.truncate %} + {% if page.content contains '' %} + {{ page.content | split:'' | first }} + + {% else %} + {{ page.content }} + {% endif %} + {% else %} + {{ content }} + +

Edit on GitHub

+ {% endif %} +
+ {% include doc_paging.html %} +