Add devserver-global Makefile target to .phony, fixes #3065

This commit is contained in:
Matthew Pounsett 2022-12-20 12:46:54 -05:00
commit 380b17fb22
No known key found for this signature in database
GPG key ID: 7E719F1B79088852
2 changed files with 4 additions and 1 deletions

3
RELEASE.md Normal file
View file

@ -0,0 +1,3 @@
Release type: patch
Add devserver-global Makefile target to .phony, fixes #3065

View file

@ -165,4 +165,4 @@ github: publish
{% endif %}
.PHONY: html help clean regenerate serve serve-global devserver publish {{ upload|join(" ") }}
.PHONY: html help clean regenerate serve serve-global devserver devserver-global publish {{ upload|join(" ") }}