diff options
| -rw-r--r-- | Makefile | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000000..699f314739 --- /dev/null +++ b/Makefile @@ -0,0 +1,21 @@ +# +# This file is intended to drive the build of the entire doc tree. In order to +# build both the documentation and the website, one only need to execute: +# +# make all +# +# Here at the top-level of the repository. The same target may be executed in +# the individual directories to build just the documentation or just the +# website. +# +# Note that the Makefiles within the individual components may also be used to +# spin up hugo's internal webserver for testing, by default on port 1313. This +# can be done with the `run` target. +# + +SUBDIR+= documentation +SUBDIR+= website + +SUBDIR_PARALLEL= yes + +.include <bsd.subdir.mk> |