diff options
author | Florian Festi <ffesti@redhat.com> | 2021-06-18 13:09:39 +0200 |
---|---|---|
committer | Panu Matilainen <pmatilai@redhat.com> | 2021-06-22 12:18:08 +0300 |
commit | 3080254024ec60c625a0e8652608661d55991bda (patch) | |
tree | 697d7e5c8c28e8e7e7cc229227d7d6a883675892 /docs/man | |
parent | 5417bffe37a9dfbfd33734f3f46d82adb927463b (diff) | |
download | rpm-3080254024ec60c625a0e8652608661d55991bda.tar.gz |
Create directories for man pages right away
to avoid rebuilding the man pages over and over again
Diffstat (limited to 'docs/man')
-rw-r--r-- | docs/man/Makefile.am | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/docs/man/Makefile.am b/docs/man/Makefile.am index d611e2851..43db27f39 100644 --- a/docs/man/Makefile.am +++ b/docs/man/Makefile.am @@ -71,10 +71,8 @@ man_sk_man8dir = $(mandir)/sk/man8 man_sk_man8_DATA = sk/rpm.8 EXTRA_DIST += sk/rpm.8.md -subdirs: - @$(MKDIR_P) fr ja ko pl ru sk - -%: $(srcdir)/%.md subdirs +%: $(srcdir)/%.md fr ja ko pl ru sk + @$(MKDIR_P) `dirname $@` ${PANDOC} -s -t man $(srcdir)/$@.md -o $@ clean-local: |