From 70d0d0889b0c72bcdeb0658335094f61105f8b02 Mon Sep 17 00:00:00 2001
From: Jay Berkenbilt <ejb@ql.org>
Date: Sat, 12 Mar 2022 09:25:29 -0500
Subject: Remove old build files

---
 manual/Makefile | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 manual/Makefile

(limited to 'manual/Makefile')

diff --git a/manual/Makefile b/manual/Makefile
deleted file mode 100644
index 90899055..00000000
--- a/manual/Makefile
+++ /dev/null
@@ -1 +0,0 @@
-include ../make/proxy.mk
-- 
cgit v1.2.3-54-g00ecf