From c8343a356d724739b1f58cbe88bbe40b81adbc5e Mon Sep 17 00:00:00 2001 From: Fabio Erculiani Date: Sat, 12 Nov 2011 22:16:04 +0100 Subject: [PATCH] [server/doc] Makefile: create man/ if it doesn't exist --- server/doc/Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/server/doc/Makefile b/server/doc/Makefile index e26195442..5d7009b68 100644 --- a/server/doc/Makefile +++ b/server/doc/Makefile @@ -5,6 +5,7 @@ LIBDIR = $(PREFIX)/lib DESTDIR = all: + if [ ! -d man ]; then mkdir man; fi for man_name in mansrc/*.1.txt; do \ a2x --attribute="eitversion=$(EITVER)" --format=manpage \ -D man/ $$man_name; \