From 481a2f89c975790e6e522bc0b1a12fccb9c9017f Mon Sep 17 00:00:00 2001
From: Florian Kissling <flo@6230.org>
Date: Fri, 24 Apr 2015 03:16:56 +0200
Subject: [PATCH] Add ID.

---
 docs/options.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/options.html b/docs/options.html
index 0ca4d9d5..8ccccea2 100644
--- a/docs/options.html
+++ b/docs/options.html
@@ -19,7 +19,7 @@ slug: options
 <div class="row">
   <div class="col-md-9" role="main">
     <section id="core">
-      <h1 class="page-header">Core options</h1>
+      <h1 id="core-options" class="page-header">Core options</h1>
 
       <p>
         Select2 supports a small subset of options in every build that is