diff --git a/doxygen/mbedtls.doxyfile b/doxygen/mbedtls.doxyfile
index 00e64d05c918..97f1fceac855 100644
--- a/doxygen/mbedtls.doxyfile
+++ b/doxygen/mbedtls.doxyfile
@@ -6,7 +6,7 @@ EXTRACT_ALL            = YES
 EXTRACT_PRIVATE        = YES
 EXTRACT_STATIC         = YES
 CASE_SENSE_NAMES       = NO
-INPUT                  = ../include input ../tf-psa-crypto/include ../tests/include/alt-dummy
+INPUT                  = ../include input ../tf-psa-crypto/include
 FILE_PATTERNS          = *.h
 EXCLUDE                = ../tf-psa-crypto/include/mbedtls/private
 RECURSIVE              = YES
diff --git a/tests/include/alt-dummy/platform_alt.h b/tests/include/alt-dummy/platform_alt.h
deleted file mode 100644
index 67573926e195..000000000000
--- a/tests/include/alt-dummy/platform_alt.h
+++ /dev/null
@@ -1,16 +0,0 @@
-/* platform_alt.h with dummy types for MBEDTLS_PLATFORM_SETUP_TEARDOWN_ALT */
-/*
- *  Copyright The Mbed TLS Contributors
- *  SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
- */
-
-#ifndef PLATFORM_ALT_H
-#define PLATFORM_ALT_H
-
-typedef struct mbedtls_platform_context {
-    int dummy;
-}
-mbedtls_platform_context;
-
-
-#endif /* platform_alt.h */
diff --git a/tests/include/alt-dummy/threading_alt.h b/tests/include/alt-dummy/threading_alt.h
deleted file mode 100644
index 07d5da4275fd..000000000000
--- a/tests/include/alt-dummy/threading_alt.h
+++ /dev/null
@@ -1,14 +0,0 @@
-/* threading_alt.h with dummy types for MBEDTLS_THREADING_ALT */
-/*
- *  Copyright The Mbed TLS Contributors
- *  SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
- */
-
-#ifndef THREADING_ALT_H
-#define THREADING_ALT_H
-
-typedef struct mbedtls_threading_mutex_t {
-    int dummy;
-} mbedtls_threading_mutex_t;
-
-#endif /* threading_alt.h */
diff --git a/tests/include/alt-dummy/timing_alt.h b/tests/include/alt-dummy/timing_alt.h
deleted file mode 100644
index 69bee60f6756..000000000000
--- a/tests/include/alt-dummy/timing_alt.h
+++ /dev/null
@@ -1,19 +0,0 @@
-/* timing_alt.h with dummy types for MBEDTLS_TIMING_ALT */
-/*
- *  Copyright The Mbed TLS Contributors
- *  SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
- */
-
-#ifndef TIMING_ALT_H
-#define TIMING_ALT_H
-
-struct mbedtls_timing_hr_time {
-    int dummy;
-};
-
-typedef struct mbedtls_timing_delay_context {
-    int dummy;
-} mbedtls_timing_delay_context;
-
-
-#endif /* timing_alt.h */