diff options
| author | John J. Camilleri <john@johnjcamilleri.com> | 2018-11-28 22:22:41 +0100 |
|---|---|---|
| committer | John J. Camilleri <john@johnjcamilleri.com> | 2018-11-28 22:22:41 +0100 |
| commit | a7e43d872f5e612f93131f2d8caf811fbee9aa83 (patch) | |
| tree | 1c7de5e7e7c886d6c12e0259c5385a393e4082d1 /Makefile | |
| parent | c6ec8cf302fef3d279a2d9e0a305f8b554978c7f (diff) | |
| parent | d6fc50b40b3b7d16ad9a7d147aedc81e73fe4581 (diff) | |
Merge branch 'new-website'
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -20,6 +20,7 @@ doc: clean: cabal clean + bash bin/clean_html gf: cabal build rgl-none |