From 773462284ce84594e06ba1ab1d25396f45bd9a07 Mon Sep 17 00:00:00 2001 From: Oleg Broytman Date: Wed, 11 May 2016 02:53:07 +0300 Subject: [PATCH] Make distr --- Makefile | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/Makefile b/Makefile index f652410..989c2a1 100644 --- a/Makefile +++ b/Makefile @@ -3,6 +3,10 @@ all: @echo "Nothing to be done for 'all'" +.PHONY: distr +distr: + ./mk-distr + .PHONY: html html: $(MAKE) -C docs html -- 2.39.2