Make distr

[m_librarian.git] / Makefile

diff --git a/Makefile b/Makefile
index 9a8f3baac8383ed13621f97d7949130261219771..989c2a1af1e553307b1f9b4c1c0c946409dd4dc5 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -3,8 +3,12 @@
 all:
        @echo "Nothing to be done for 'all'"
 
-.PHONY: htmldoc
-htmldoc:
+.PHONY: distr
+distr:
+       ./mk-distr
+
+.PHONY: html
+html:
        $(MAKE) -C docs html
        $(MAKE) -C docs-ru html