diff options
-rw-r--r-- | .gitignore | 1 | ||||
-rw-r--r-- | Makefile | 1 |
2 files changed, 2 insertions, 0 deletions
@@ -1,3 +1,4 @@ docs/ site/ source/ +site.mk @@ -55,5 +55,6 @@ clean: distclean: clean rm -rf source + rm -f site.mk .PHONY: all doc check clean distclean |