From 6df0ceb9a2100948f9be7fb722772d9a7f25c081 Mon Sep 17 00:00:00 2001
From: Doug Rabson <dfr@rabson.org>
Date: Thu, 11 Aug 2022 17:36:38 +0100
Subject: Add default value for $RM

For some reason GNU make doesn't define this on FreeBSD.

[NO NEW TESTS NEEDED]

Signed-off-by: Doug Rabson <dfr@rabson.org>
---
 docs/Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/Makefile b/docs/Makefile
index c9192f5e6..4e982e27f 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -7,6 +7,7 @@ SPHINXOPTS    ?=
 SPHINXBUILD   ?= sphinx-build
 SOURCEDIR     = source
 BUILDDIR      = build
+RM            ?= rm
 
 # Put it first so that "make" without argument is like "make help".
 help:
-- 
cgit v1.2.3-54-g00ecf