From d04649fabbc998c649c130a4d281fe3a38faf6b5 Mon Sep 17 00:00:00 2001 From: Michael DeHaan Date: Fri, 24 Jan 2014 10:57:05 -0500 Subject: [PATCH] Add logo to docsite. --- docsite/Makefile | 6 +++--- docsite/_themes/srtd/layout.html | 3 ++- docsite/_themes/srtd/static/css/theme.css | 6 +++--- 3 files changed, 8 insertions(+), 7 deletions(-) diff --git a/docsite/Makefile b/docsite/Makefile index c5b6e234f8b..89093cc7e36 100644 --- a/docsite/Makefile +++ b/docsite/Makefile @@ -6,9 +6,9 @@ all: clean docs docs: clean modules staticmin ./build-site.py - cp *.ico htmlout/ - cp *.jpg htmlout/ - cp *.png htmlout/ + -(cp *.ico htmlout/) + -(cp *.jpg htmlout/) + -(cp *.png htmlout/) viewdocs: clean staticmin ./build-site.py view diff --git a/docsite/_themes/srtd/layout.html b/docsite/_themes/srtd/layout.html index 3cfa034706a..e23533c452b 100644 --- a/docsite/_themes/srtd/layout.html +++ b/docsite/_themes/srtd/layout.html @@ -129,7 +129,8 @@ {# SIDE NAV, TOGGLES ON MOBILE #}