Merge pull request #9019 from fricklerhandwerk/doc-delete-unused

delete unused files
2023-09-21 13:16:03 +02:00 · 2023-09-21 13:16:03 +02:00 · fb1c22df94
parent 3ce793d3e9 cf6ba7256f
commit fb1c22df94
2 changed files with 0 additions and 72 deletions
--- a/doc/manual/src/command-ref/opt-common-syn.md
+++ b/doc/manual/src/command-ref/opt-common-syn.md
@ -1,57 +0,0 @@
-\--help
-
-\--version
-
-\--verbose
-
-\-v
-
-\--quiet
-
-\--log-format
-
-format
-
-\--no-build-output
-
-\-Q
-
-\--max-jobs
-
-\-j
-
-number
-
-\--cores
-
-number
-
-\--max-silent-time
-
-number
-
-\--timeout
-
-number
-
-\--keep-going
-
-\-k
-
-\--keep-failed
-
-\-K
-
-\--fallback
-
-\--readonly-mode
-
-\-I
-
-path
-
-\--option
-
-name
-
-value
--- a/doc/manual/src/command-ref/opt-inst-syn.md
+++ b/doc/manual/src/command-ref/opt-inst-syn.md
@ -1,15 +0,0 @@
-\--prebuilt-only
-
-\-b
-
-\--attr
-
-\-A
-
-\--from-expression
-
-\-E
-
-\--from-profile
-
-path