diff options
author | Mike Burns <mike@mike-burns.com> | 2014-03-07 16:33:30 +0100 |
---|---|---|
committer | Mike Burns <mike@mike-burns.com> | 2014-03-07 16:33:30 +0100 |
commit | 1914b1d9088b25d11623632161f3a6a05c058523 (patch) | |
tree | 9731dd5daf42547d5fd0753be38b8d2d0f9409c6 /man | |
parent | 28f1a140d877078dbcd0359834c17973a3b448d6 (diff) |
Grab the ORIGIN_URL in man Makefile
This caused the push to fail because it couldn't find the repo URL.
Diffstat (limited to 'man')
-rw-r--r-- | man/Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
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) && \ |