File install-man.patch of Package tpm2.0-tools

Index: tpm2-tools-3.0.4/Makefile.am
===================================================================
--- tpm2-tools-3.0.4.orig/Makefile.am
+++ tpm2-tools-3.0.4/Makefile.am
@@ -273,7 +273,6 @@ EXTRA_DIST = $(top_srcdir)/man \
 	     RELEASE.md \
 	     test/system
 
-if HAVE_PANDOC
     man1_MANS := \
     man/man1/tpm2_activatecredential.1 \
     man/man1/tpm2_certify.1 \
@@ -315,6 +314,7 @@ if HAVE_PANDOC
     man/man1/tpm2_unseal.1 \
     man/man1/tpm2_verifysignature.1
 
+if HAVE_PANDOC
 # If pandoc is enabled, we want to generate the manpages for the dist tarball
 EXTRA_DIST += $(man1_MANS)
 else