From 60bcff089fe4a1dd227a1c513e5fdda8e3db6a26 Mon Sep 17 00:00:00 2001
From: Florian Kissling <flo@6230.org>
Date: Wed, 6 May 2015 02:51:18 +0200
Subject: [PATCH] FIx filename.

---
 ...gs-default-options.html => setting-default-options.html} | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)
 rename docs/_includes/options/{settings-default-options.html => setting-default-options.html} (93%)

diff --git a/docs/_includes/options/settings-default-options.html b/docs/_includes/options/setting-default-options.html
similarity index 93%
rename from docs/_includes/options/settings-default-options.html
rename to docs/_includes/options/setting-default-options.html
index 61126ada..f132f666 100644
--- a/docs/_includes/options/settings-default-options.html
+++ b/docs/_includes/options/setting-default-options.html
@@ -1,7 +1,5 @@
-<section id="defaults">
-  <div class="page-header">
-    <h1>Setting default options</h1>
-  </div>
+<section>
+  <h1 id id="setting-default-options">Setting default options</h1>
 
   <p>
     In some cases, you need to set the default options for all instances of