From 2130dea9653a9a22b119d8208b347a8e2ca4769a Mon Sep 17 00:00:00 2001
From: David Rowe <david@ctrlaltstudio.com>
Date: Wed, 12 May 2021 10:54:15 +1200
Subject: [PATCH] Remove Doxygen filter that is no longer needed
---
tools/doxygen/Doxyfile | 2 +-
tools/doxygen/README.md | 4 ++--
tools/doxygen/jsdoc-filter.pl | 9 ---------
3 files changed, 3 insertions(+), 12 deletions(-)
delete mode 100644 tools/doxygen/jsdoc-filter.pl
diff --git a/tools/doxygen/Doxyfile b/tools/doxygen/Doxyfile
index 647d132389..cf2fce9150 100644
--- a/tools/doxygen/Doxyfile
+++ b/tools/doxygen/Doxyfile
@@ -1031,7 +1031,7 @@ IMAGE_PATH =
# need to set EXTENSION_MAPPING for the extension otherwise the files are not
# properly processed by doxygen.
-INPUT_FILTER = jsdoc-filter.pl
+INPUT_FILTER =
# The FILTER_PATTERNS tag can be used to specify filters on a per file pattern
# basis. Doxygen will compare the file name with each pattern and apply the
diff --git a/tools/doxygen/README.md b/tools/doxygen/README.md
index 8065375673..bf9be6c1ce 100644
--- a/tools/doxygen/README.md
+++ b/tools/doxygen/README.md
@@ -45,8 +45,8 @@ option in the "Wizard" tab of the Doxywizard program.
## Altering the Doxygen configuration
-Most easily accomplished by using the Doxyfile GUI and using it to write a new `Libraries.Doxyfile` file.
-Alternatively, you can edit the `Libraries.Doxyfile` file in a text editor.
+This is most easily accomplished by using the Doxyfile GUI and using it to write a new `Doxyfile` file.
+Alternatively, you can edit the `Doxyfile` configuration file in a text editor.
## References
diff --git a/tools/doxygen/jsdoc-filter.pl b/tools/doxygen/jsdoc-filter.pl
deleted file mode 100644
index 8f3238e9f3..0000000000
--- a/tools/doxygen/jsdoc-filter.pl
+++ /dev/null
@@ -1,9 +0,0 @@
-# Filter out JSDoc comments by transforming them to ordinary comments.
-# (JSDoc comments are used to generate the user API docs and don't produce suitable results for the C++ docs.)
-while (<>) {
- if (m/^\s*\/\*\*jsdoc/) {
- print "\/*\n";
- } else {
- print;
- }
-}