diff options
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. |