diff options
| author | Michael Reed <michael@michaelreed.io> | 2017-07-09 03:32:14 -0400 |
|---|---|---|
| committer | Michael Reed <michael@michaelreed.io> | 2017-07-09 15:47:47 -0400 |
| commit | ac4ba8372107488ea850a74e42e9c978441c6b67 (patch) | |
| tree | 0a4ae154ed08835c9f527b709474b9f75ef5c982 /www/git.md | |
| parent | 59293cc7c60688d5b34a038805a33dbdbd2133d3 (diff) | |
| download | librebootfr-ac4ba8372107488ea850a74e42e9c978441c6b67.tar.gz librebootfr-ac4ba8372107488ea850a74e42e9c978441c6b67.zip | |
Build website incrementally (and faster if you have the CPU cores)
This is done by replacing www/generate.sh with a Makefile. Benefits:
- Makes builds incremental, meaning that only the minimum number of
markdown files will be converted to HTML during a build. The previous
scheme always generated a new HTML file for every markdown file,
which is a big waste of time if only 1 or 2 markdown files have been
changed.
- Allows for much faster builds through concurrent jobs (e.g., via
"make -j4"). On my 4-core machine, my average build time for the
website with generate.sh was just over 26 seconds; with "make -j4",
it was 13 seconds.
- Avoids portability issues with find(1) in generate.sh, which I was
encountering on OpenBSD.
A note on portability: unlike GNU Make, OpenBSD's Make does not have
the "$(shell [commands])" construct, so we don't use that. Instead we
use "!= [commands]", which is supported by both.
Diffstat (limited to 'www/git.md')
| -rw-r--r-- | www/git.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -24,7 +24,7 @@ with the following scripts in that directory: - index.sh: generates the news feed (on the News section of the website) - publish.sh: converts an .md file to an .html file -- generate.sh: with calls to index.sh and publish.sh, compiles the entire +- Makefile: with calls to index.sh and publish.sh, compiles the entire Libreboot website Use any standard text editor (e.g. Vim, Emacs, Nano, Gedit) to edit the files, |