diff options
| author | Luke Shumaker <lukeshu@sbcglobal.net> | 2017-01-03 16:51:52 -0500 |
|---|---|---|
| committer | Luke Shumaker <lukeshu@sbcglobal.net> | 2017-01-03 16:51:52 -0500 |
| commit | 641fcbb149d37b4b65887d938f04ca495db17594 (patch) | |
| tree | 78fe5b8027528b9ab5d2eba73b919f6aa5485e22 /HACKING.md | |
| parent | edb903553bbc7bafc8b05d256f039c961ce58dc9 (diff) | |
documentation
Diffstat (limited to 'HACKING.md')
| -rw-r--r-- | HACKING.md | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/HACKING.md b/HACKING.md deleted file mode 100644 index a21b577..0000000 --- a/HACKING.md +++ /dev/null @@ -1,14 +0,0 @@ -Here's the gist: - - /src/ : website content - /bin/ : programs and such for generating the website from /src/ - /out/ : where the generated output goes - Makefile : invoke /bin/ as appropriate - git-setup : set up git hooks (see below) - benchmark : see which files take longer to generate - -The web server should serve the union of /src/ and /out/. - -On `master`, /out/ is ignored. But `git-setup` will set up a git -post-commit hook to generate /out/, and commit it to the -`pre-generated` branch. |