From cf6ba7256f849ec1fe209b18c311e61ecd7719d3 Mon Sep 17 00:00:00 2001
From: Valentin Gagarin <valentin.gagarin@tweag.io>
Date: Thu, 21 Sep 2023 02:57:00 +0200
Subject: [PATCH] delete unused files

---
 doc/manual/src/command-ref/opt-common-syn.md | 57 --------------------
 doc/manual/src/command-ref/opt-inst-syn.md   | 15 ------
 2 files changed, 72 deletions(-)
 delete mode 100644 doc/manual/src/command-ref/opt-common-syn.md
 delete mode 100644 doc/manual/src/command-ref/opt-inst-syn.md

diff --git a/doc/manual/src/command-ref/opt-common-syn.md b/doc/manual/src/command-ref/opt-common-syn.md
deleted file mode 100644
index b66d318c2..000000000
--- a/doc/manual/src/command-ref/opt-common-syn.md
+++ /dev/null
@@ -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
diff --git a/doc/manual/src/command-ref/opt-inst-syn.md b/doc/manual/src/command-ref/opt-inst-syn.md
deleted file mode 100644
index 1703c40e3..000000000
--- a/doc/manual/src/command-ref/opt-inst-syn.md
+++ /dev/null
@@ -1,15 +0,0 @@
-\--prebuilt-only
-
-\-b
-
-\--attr
-
-\-A
-
-\--from-expression
-
-\-E
-
-\--from-profile
-
-path