From 31f256da29d275039facf94cb0353993484f86e0 Mon Sep 17 00:00:00 2001
From: Luis Diaz Mas <piponazo@gmail.com>
Date: Thu, 28 Feb 2019 22:27:09 +0100
Subject: [PATCH] Delete deprecated cmake_doc.sh

---
 doc/cmake_doc.sh | 24 ------------------------
 1 file changed, 24 deletions(-)
 delete mode 100755 doc/cmake_doc.sh

diff --git a/doc/cmake_doc.sh b/doc/cmake_doc.sh
deleted file mode 100755
index 44dd6760..00000000
--- a/doc/cmake_doc.sh
+++ /dev/null
@@ -1,24 +0,0 @@
-#!/bin/bash
-
-##
-# this is called by the CMake build to build the docs
-##
-if [ $# == 1 ]; then
-    CMAKE_BINARY_DIR="$1"
-    cd ..
-    
-    if [ -e src/exv_conf.h ]; then
-        mv src/exv_conf.h src/exv_conf.h.keep
-    fi
-    make config
-    ./configure
-    if [ -e src/exv_conf.h.keep ]; then
-        mv src/exv_conf.h.keep src/exv_conf.h
-    fi
-    mkdir -p  src/bin/
-    cp    -f  "${CMAKE_BINARY_DIR}/bin/taglist" src/bin/
-    make doc
-fi
-
-# That's all Folks
-##