summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--tools/build/Makefile.am2
-rwxr-xr-xtools/build/doxy-filter20
2 files changed, 0 insertions, 22 deletions
diff --git a/tools/build/Makefile.am b/tools/build/Makefile.am
index e9fdd2602a..a00a450e58 100644
--- a/tools/build/Makefile.am
+++ b/tools/build/Makefile.am
@@ -2,6 +2,4 @@ ACLOCAL_AMFLAGS = -I ../../aclocal
bin_SCRIPTS = install-if-change
-noinst_SCRIPTS = doxy-filter
-
include $(top_srcdir)/../../automake/host.am
diff --git a/tools/build/doxy-filter b/tools/build/doxy-filter
deleted file mode 100755
index 442c2b6696..0000000000
--- a/tools/build/doxy-filter
+++ /dev/null
@@ -1,20 +0,0 @@
-#!/bin/sh
-
-# doxygen input filter
-
-# usage: doxy-filter <input-file-name>
-# Reads <input-file> and writes to stdout.
-
-file=$1
-
-# Does file contain a doxygen @file directive?
-if ! grep -q '@file' $file >/dev/null ; then
-# No, add one
-echo "/** @file $file */"
-cat $file
-else
-# Yes, adjust path to work around doxygen not being able to
-# distinguish file names properly
-exec sed -e "s,@file.*$,@file $file," $file
-fi
-