diff options
author | Rasmus Andersson <rasmus@notion.se> | 2021-03-29 22:52:15 +0300 |
---|---|---|
committer | Rasmus Andersson <rasmus@notion.se> | 2021-03-29 22:52:15 +0300 |
commit | 043999af15ccff63e4604359b47435bf75682323 (patch) | |
tree | 64f58b74a52fd1cff99885f10f05f770d85296c2 /Makefile | |
parent | 08b277b7661ee32950909922ace27e4631317335 (diff) | |
download | inter-043999af15ccff63e4604359b47435bf75682323.tar.xz |
v3.17v3.17
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -373,7 +373,7 @@ dist_check: @echo "" @echo "——————————————————————————————————————————————————————————————————" -dist: dist_zip +dist: dist_zip display $(MAKE) -j docs @echo "——————————————————————————————————————————————————————————————————" @echo "" |