From c0641c2b47bf25a6f4714f93037f1b369ce011fc Mon Sep 17 00:00:00 2001
From: Paul Masurel <paul.masurel@gmail.com>
Date: Tue, 21 Aug 2018 08:26:46 +0900
Subject: [PATCH] Remove generate html script. It moved to
 tantivy-search.github.io

---
 examples/generate_html.sh | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100755 examples/generate_html.sh

diff --git a/examples/generate_html.sh b/examples/generate_html.sh
deleted file mode 100755
index ec07322e2..000000000
--- a/examples/generate_html.sh
+++ /dev/null
@@ -1,6 +0,0 @@
-#!/bin/bash
-
-for example in $(ls *.rs)
-do
-    docco $example -o html
-done