fix makefile

gdsfactory · Sep 7, 2023 · 1778cf0 · 1778cf0
1 parent 5e02299
commit 1778cf0
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -13,3 +13,5 @@ git-rm-merged:
 
 docs:
 	jb build docs
+
+.PHONY: docs