From 2810b97eae8e5a0dc51d4e37fbe65b7075fe136c Mon Sep 17 00:00:00 2001 From: Mahmoud Hashemi Date: Sat, 11 Apr 2015 03:12:32 -0700 Subject: [PATCH] adding github stars to docs menu --- docs/_templates/page.html | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 docs/_templates/page.html diff --git a/docs/_templates/page.html b/docs/_templates/page.html new file mode 100644 index 0000000..63a08a4 --- /dev/null +++ b/docs/_templates/page.html @@ -0,0 +1,5 @@ +{% extends "!page.html" %} +{% block menu %} +{{ super() }} + +{% endblock %}