From 75b4d19274841ebfa75826e05965537e5643ac11 Mon Sep 17 00:00:00 2001
From: Frantisek Hrbata <frantisek@hrbata.com>
Date: Mon, 4 Jan 2021 17:57:44 +0100
Subject: [PATCH] make: add gimrr krb auth scripts

Signed-off-by: Frantisek Hrbata <frantisek@hrbata.com>
---
 Makefile |    3 +++
 1 file changed, 3 insertions(+)

diff --git a/Makefile b/Makefile
index 13d8e51..d22eda9 100644
--- a/Makefile
+++ b/Makefile
@@ -42,6 +42,9 @@ BIN_FILES = git-mr-create \
       git-mr-merge \
       git-mr-comment-list \
       git-mr-comment-show \
+      gimrrdataprot.py \
+      gimrr-server-krb \
+      gimrr-register-krb \
       mrlib.py
 
 MAN1_TXT_FILES = $(DOCDIR)/git-mr-show.txt \
-- 
1.7.10.4