From 71576442504aa0f0264bd74036ab5ed64adc519d Mon Sep 17 00:00:00 2001
From: Arun Prakash Jana <engineerarun@gmail.com>
Date: Sun, 29 Dec 2019 00:38:03 +0530
Subject: Fix #420: simplify bookmarking, retire lead key

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 6afeec2..77005a3 100644
--- a/Makefile
+++ b/Makefile
@@ -107,4 +107,4 @@ clean:
 
 skip: ;
 
-.PHONY: all debug install uninstall strip dist sign clean
+.PHONY: all install uninstall strip dist sign clean
-- 
cgit v1.2.3-70-g09d2