Makefile: use start-dev-server instead of start-dbg-server

diff --git a/Makefile b/Makefile
index 453adba3ba90a4c1888ade705adef642ffd6facf..4948c583ac2708a1ad0abfffd7fab3e5b7394ddf 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -4,10 +4,10 @@ PORT = 3000
 
 help:
        @echo make lang: build translation files
-       @echo make start-debug-server: start a debugging server
+       @echo make start-dev-server: start a development server
 
 lang:
        cd l10n; make
 
-start-debug-server:
+start-dev-server:
        DEV_ENABLE_SERVING_FILES=true TRIVABBLE_PORT=$(PORT) node trivabble-server.js