From 9492ae6d029520cbffd3815f7a21c08926780c65 Mon Sep 17 00:00:00 2001
From: Lucas Holt <luke@foolishgames.com>
Date: Tue, 3 Dec 2024 14:55:49 -0500
Subject: [PATCH] remove some options

---
 tools/build/options/WITHOUT_SVNLITE | 3 ---
 tools/build/options/WITH_SVN        | 4 ----
 2 files changed, 7 deletions(-)
 delete mode 100644 tools/build/options/WITHOUT_SVNLITE
 delete mode 100644 tools/build/options/WITH_SVN

diff --git a/tools/build/options/WITHOUT_SVNLITE b/tools/build/options/WITHOUT_SVNLITE
deleted file mode 100644
index 0d98ef645c..0000000000
--- a/tools/build/options/WITHOUT_SVNLITE
+++ /dev/null
@@ -1,3 +0,0 @@
-Do not build
-.Xr svnlite 1
-and related programs.
diff --git a/tools/build/options/WITH_SVN b/tools/build/options/WITH_SVN
deleted file mode 100644
index 7db7c27043..0000000000
--- a/tools/build/options/WITH_SVN
+++ /dev/null
@@ -1,4 +0,0 @@
-Install
-.Xr svnlite 1
-as
-.Xr svn 1 .