chore: remove generated docs pages from git

Author: Starefossen

.github/codeql/codeql-config.yaml

@@ -1,2 +1,6 @@
 queries:
   - uses: security-and-quality
+
+paths-ignore:
+  - '**/docs/**'
+  - '**/*.html'

.gitignore

@@ -424,6 +424,9 @@ gradle-app.setting
 # Exclude Gradle build scans directory
 .gradle-scans/
 
+# Generated API documentation
+**/docs/index.html
+
 ### Ktor ###
 # Specific to Ktor, if you use embeddedServer output
 # These might be too broad if you have other important jars/zips/tars

quotes-backend/README.md

@@ -89,9 +89,13 @@ Retrieves a quote by its ID.
 
 ## OpenAPI and Swagger
 
+The API documentation is **generated dynamically at runtime** by Ktor's OpenAPI and Swagger plugins:
+
 - OpenAPI specification: [http://localhost:8080/openapi](http://localhost:8080/openapi)
 - Swagger UI: [http://localhost:8080/swagger](http://localhost:8080/swagger)
 
+**Note**: No static HTML documentation files are committed to the repository. The Swagger UI is served directly by the application when it's running.
+
 ## Health Endpoint
 
 - `GET /internal/health`: Returns `200 OK` and the string `Application is healthy` if the service is running.