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;
-    }
-}