diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 12 |
1 files changed, 10 insertions, 2 deletions
@@ -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 | ||
93 | docker-all: | 101 | docker-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 |