From a230e2acf3323461c95abd1bac09c6a00a9f3fb3 Mon Sep 17 00:00:00 2001
From: Teddy Wing
Date: Thu, 6 Aug 2020 00:30:15 +0200
Subject: Makefile: Remove unused list of products

This was replaced by `RELEASE_PRODUCTS` so that I could make
`DIST_PRODUCTS` based on `PRODUCTS`.
---
 Makefile | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Makefile b/Makefile
index 5dce5a1..0414e3a 100644
--- a/Makefile
+++ b/Makefile
@@ -17,7 +17,6 @@
 SOURCES := $(shell find . -name '*.rs')
 MAN_PAGES := $(patsubst doc/%.1.txt,doc/%.1,$(wildcard doc/*.1.txt))
 
-# PRODUCTS := $(patsubst src/bin/%.rs,target/release/%,$(wildcard src/bin/*.rs))
 PRODUCTS := $(patsubst src/bin/%.rs,%,$(wildcard src/bin/*.rs))
 RELEASE_PRODUCTS := $(patsubst %,target/release/%,$(PRODUCTS))
 
-- 
cgit v1.2.3