diff options
author | Joris | 2016-10-29 21:43:37 +0200 |
---|---|---|
committer | Joris | 2016-10-29 21:43:37 +0200 |
commit | 14858277fb74c3788af1226f37b22089229edc34 (patch) | |
tree | fc3c0a87429362c55673d72518e97a9d6f5bd80d /build | |
parent | 57c4fa462996307293e3da3068ec40ef69000e13 (diff) |
Use Hakyll to generate web pages
Diffstat (limited to 'build')
-rwxr-xr-x | build | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -0,0 +1,2 @@ +#!/bin/sh +nix-shell --command "make clean install build" |