From 302d64182a86a4ea53a2f6133b5218ef50157bfa Mon Sep 17 00:00:00 2001
From: Oleg Morozenkov <m@oleg.rocks>
Date: Thu, 5 Dec 2019 02:11:51 +0300
Subject: Rename tools scripts

---
 tools/generate-docs | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100755 tools/generate-docs

(limited to 'tools/generate-docs')

diff --git a/tools/generate-docs b/tools/generate-docs
deleted file mode 100755
index 0caab1d..0000000
--- a/tools/generate-docs
+++ /dev/null
@@ -1,7 +0,0 @@
-#!/bin/bash
-
-cd ..
-rm -rf doc docs
-doxygen
-mv doc/html docs
-touch docs/.nojekyll
-- 
cgit v1.2.3