From cb2bf41be6bec85f655fcff9c73b8a8a646a9a56 Mon Sep 17 00:00:00 2001 From: Jonah Date: Wed, 11 May 2022 23:45:37 -0400 Subject: [PATCH] Add fetch-modules to `make help` for main makefile --- Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile b/Makefile index 55a35082b7..b35b5c66b9 100644 --- a/Makefile +++ b/Makefile @@ -61,6 +61,7 @@ TRANSLATE_SOURCES_EXC = -path "ports/*/build-*" \ help: @echo "Please use \`make ' where is one of" + @echo " fetch-submodules to fetch dependencies from submodules, run this right after you clone the repo" @echo " html to make standalone HTML files" @echo " dirhtml to make HTML files named index.html in directories" @echo " singlehtml to make a single large HTML file"