From 6821f5a877498689d7185681e6138bdba7da2094 Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Wed, 31 Jul 2019 19:40:34 -0600
Subject: [PATCH] Fix the help2man invocation.

---
 stp.spec | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/stp.spec b/stp.spec
index 26ca3d4..c2e787e 100644
--- a/stp.spec
+++ b/stp.spec
@@ -82,6 +82,10 @@ export CXXFLAGS="%{optflags} -I %{_includedir}/minisat"
        -DPYTHON_EXECUTABLE:FILEPATH=%{_bindir}/python%{python3_version} \
        -DPYTHON_LIBRARY:FILEPATH=%{_libdir}/libpython%{python3_version}.so \
        -DPYTHON_INCLUDE_DIR:FILEPATH=%{_includedir}/python%{python3_version} .
+
+# Fix the help2man invocation
+sed -i "s,help2man,LD_LIBRARY_PATH=$PWD/lib &," CMakeFiles/man_stp.dir/build.make
+
 # FIXME: %%{?_smp_mflags} doesn't work due to running genkinds.pl too late
 make