From 1914b1d9088b25d11623632161f3a6a05c058523 Mon Sep 17 00:00:00 2001
From: Mike Burns <mike@mike-burns.com>
Date: Fri, 7 Mar 2014 16:33:30 +0100
Subject: Grab the ORIGIN_URL in man Makefile

This caused the push to fail because it couldn't find the repo URL.
---
 man/Makefile.am | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'man')

diff --git a/man/Makefile.am b/man/Makefile.am
index 2d7fce1..29f7386 100644
--- a/man/Makefile.am
+++ b/man/Makefile.am
@@ -1,5 +1,7 @@
 dist_man_MANS = lsrc.1 mkrc.1 rcdn.1 rcup.1 rcrc.5 rcm.7
 
+ORIGIN_URL=$(shell git config --get remote.origin.url)
+
 ###### manpages as HTML
 release_build_man_html:
 	([ -d $(abs_top_builddir)/gh-pages ] || git clone --branch gh-pages --single-branch .. $(abs_top_builddir)/gh-pages) && \
-- 
cgit v1.2.3