Commit 0e82ab7b authored by Ondřej Surý's avatar Ondřej Surý
Browse files

Various finishing touches to make makedist work

parent b194dcec
......@@ -44,9 +44,9 @@ man/khost.1: man/khost.1in
man/knsupdate.1: man/knsupdate.1in
man/knot1to2.1: man/knot1to2.1in
man/knsec3hash.1: man/knsec3hash.1in
man/keymgr.8: man/keymgr.8in
man/keymgr.8: man/keymgr.8in
man_SUBST = sed -e 's,[@]VERSION@,$(VERSION),' -e 's,[@]RELEASE_DATE@,$(RELEASE_DATE),' $< > $@
man_SUBST = mkdir -p man; sed -e 's,[@]VERSION@,$(VERSION),' -e 's,[@]RELEASE_DATE@,$(RELEASE_DATE),' $< > $@
......@@ -119,9 +119,9 @@ endif
man: $(man_MANS)
mkdir -p man
mkdir -p $(srcdir)/man
for f in $(SPHINXBUILDDIR)/man/*; do \
sed -e '/^.TP$$/{n;s/^.B //}' "$$f" > "man/$$(basename $$f)in"; \
sed -e '/^.TP$$/{n;s/^.B //}' "$$f" > "$(srcdir)/man/$$(basename $$f)in"; \
@echo "Build finished. The man pages are in man/."
......@@ -135,3 +135,4 @@ endif # HAVE_DOCS
-rm -f man/*.1 man/*.5 man/*.8
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment