diff options
author | Rasmus Andersson <rasmus@notion.se> | 2021-06-19 00:27:19 +0300 |
---|---|---|
committer | Rasmus Andersson <rasmus@notion.se> | 2021-06-19 00:27:19 +0300 |
commit | 5fa70f6e8c0ecad97544e19aba2d5062aa8c3e7a (patch) | |
tree | a0c9fdc34f3a45ed743d2921329043c269916f5c /Makefile | |
parent | c57a2aa4f7d3ebe3e188c2ab3617b925d93e3230 (diff) | |
download | inter-5fa70f6e8c0ecad97544e19aba2d5062aa8c3e7a.tar.xz |
makefile: revert 270d423bae35c3988db365ade6c56ec1b4f2e2df adding back display dep to distv3.19
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -382,6 +382,8 @@ dist_check: @echo "——————————————————————————————————————————————————————————————————" dist: dist_zip + # Note: "display" dep is here since the "docs" target loosely depends on it + $(MAKE) -j8 display $(MAKE) -j docs @echo "——————————————————————————————————————————————————————————————————" @echo "" |