Doc. system: fix makefile, docs is phony target

diff --git a/build/Makebottom b/build/Makebottom
index 7edfc54264abef4f321139dedef8da92e9dfb376..ed4b30f7bcd3f3287d6cd5d182a2b6ab1e4b5788 100644 (file)
--- a/build/Makebottom
+++ b/build/Makebottom
@@ -224,4 +224,4 @@ default-install:
 # when searching for implicit rules and thence targets considered intermediate.
 .SECONDARY:
 
-.PHONY: all clean distclean runtree programs api datafiles force tags configs dust install default-install
+.PHONY: all clean distclean runtree programs api datafiles force tags configs dust install default-install docs