aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile12
1 files changed, 10 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 05109636..e3789b05 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,12 @@
1# This file is in the public domain. 1#
2# Copyright (C) 2017, 2018, 2019 GNUnet e.V.
3#
4# Copying and distribution of this file, with or without modification,
5# are permitted in any medium without royalty provided the copyright
6# notice and this notice are preserved. This file is offered as-is,
7# without any warranty.
8#
9# ----
2 10
3# All: build HTML pages in all languages and compile the 11# All: build HTML pages in all languages and compile the
4# TypeScript logic in web-common. 12# TypeScript logic in web-common.
@@ -92,7 +100,7 @@ docker: docker-all
92 100
93docker-all: 101docker-all:
94 docker build -t gnunet-www-builder . 102 docker build -t gnunet-www-builder .
95 # Importing via the shell like this is hacky, 103 # Importing via the shell like this is hacky,
96 # but after trying lots of other ways, this works most reliably... 104 # but after trying lots of other ways, this works most reliably...
97 $(PYTHON) -c 'import i18nfix' 105 $(PYTHON) -c 'import i18nfix'
98 docker run --rm -v $$(pwd):/tmp/ --user $$(id -u):$$(id -g) gnunet-www-builder 106 docker run --rm -v $$(pwd):/tmp/ --user $$(id -u):$$(id -g) gnunet-www-builder