Publish pages to .publish/

This commit is contained in:
2026-05-16 16:27:57 +02:00
parent db380464a2
commit fa409cb8fb
3 changed files with 44 additions and 20 deletions
+2 -1
View File
@@ -33,6 +33,7 @@ default += .dbs/map.fmt
echo '*' > $@.gitignore
include cmd.mk
include pub.mk
.dbs/head.rec: | .dbs/
printf '%s\n' '%rec: guide' > $@
@@ -100,7 +101,7 @@ map: .dbs/requires.rec .dbs/map.fmt ## Show knowledge dependency map
.PHONY: clean
clean: ## Remove all generated files
$(RM) -r $(default) .dbs/
$(RM) -r $(default) .dbs/ .publish/
.PHONY: article
article: */ */*/ ## Write a new article