makefile fix

veltzer · Oct 3, 2024 · 6d197bc · 6d197bc
1 parent 6471148
commit 6d197bc
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/Makefile b/Makefile
@@ -61,9 +61,9 @@ endif # DO_CHECKHTML
 # will be deleted.
 .DELETE_ON_ERROR:
 
-###########
-# targets #
-###########
+#########
+# rules #
+#########
 # do not touch this rule
 all: $(ALL)
 	@true