summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAdrien Nader <adrien@notk.org>2015-03-01 15:34:48 +0100
committerAdrien Nader <adrien@notk.org>2015-03-01 15:34:48 +0100
commit57b9272c61b8a196d87524e5bc3acc0e28a24d19 (patch)
tree4a623f1d87f2240d4b3182ef06fcae3b6863edfd
parentafcd495795648c0b2db3f98acebb0e3fffedc54a (diff)
Makefile: remove references to web/ and doc/HEADmasteradrien/wip-broken
-rw-r--r--Makefile8
1 files changed, 1 insertions, 7 deletions
diff --git a/Makefile b/Makefile
index 2a5a74c..36fa028 100644
--- a/Makefile
+++ b/Makefile
@@ -10,12 +10,6 @@ build:
WINDOWS_64=$(WINDOWS),$(WINDOWS_64) \
./win-builds/build/build.byte $(VERSION) )
-doc doc-upload:
- $(MAKE) -C doc -j4 $@
-
-web web-upload:
- $(MAKE) -C web -j4 $@
-
tarballs-upload:
LOGLEVEL=dbg make WINDOWS= CROSS_TOOLCHAIN= NATIVE= 2>&1 \
| sed -n 's; [^ ]\+ -> source=\(.\+/.\+/.\+\);\1; p' > file_list
@@ -66,4 +60,4 @@ release-upload:
$(WEB)/$(VERSION)/
-.PHONY: doc web build yypkg installer
+.PHONY: build yypkg installer