diff options
| author | Panu Matilainen <pmatilai@redhat.com> | 2022-10-05 09:21:09 +0300 |
|---|---|---|
| committer | Michal Domonkos <mdomonko@redhat.com> | 2023-03-13 15:32:25 +0100 |
| commit | 9841eed905b9433dc5d89583d34e4590842aa582 (patch) | |
| tree | 37af445e32a8372be9e9dce13d6d89bbcbdee90e | |
| parent | 73bd78686938483ab16704e6798459bfb800a7b9 (diff) | |
| download | rpm-9841eed905b9433dc5d89583d34e4590842aa582.tar.gz | |
Permit building rpm from git without pandoc
Pandoc is only required for converting .md to man pages, which is not
terribly interesting unless you're creating a dist tarball. We already
have an automake conditional for pandoc, might as well use it.
"make dist" will still fail without pandoc, but that's exactly how we
want it.
(cherry picked from commit 1b8f7a182fe917ed5af5086d715cae529540a4d3)
| -rw-r--r-- | docs/Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/Makefile.am b/docs/Makefile.am index a93b669de..89b92e37d 100644 --- a/docs/Makefile.am +++ b/docs/Makefile.am @@ -1,6 +1,8 @@ ## Process this file with automake to produce Makefile.in +if PANDOC SUBDIRS = man +endif EXTRA_DIST = |