diff -r 789d739a683a -r 83dea9e54ff4 src/eric7/eric7_api.py
--- a/src/eric7/eric7_api.py Wed Sep 28 12:56:35 2022 +0200
+++ b/src/eric7/eric7_api.py Wed Sep 28 15:35:06 2022 +0200
@@ -213,7 +213,9 @@
supportedExtensions = DocumentationTools.supportedExtensionsDictForApis[
progLanguage
]
- supportedExtensions.extend(extensions)
+ supportedExtensions.extend(
+ e for e in extensions if e not in supportedExtensions
+ )
if not outputFileName.endswith(".api"):
# append the .api extension, if not given by the user
