From 641fcbb149d37b4b65887d938f04ca495db17594 Mon Sep 17 00:00:00 2001 From: Luke Shumaker Date: Tue, 3 Jan 2017 16:51:52 -0500 Subject: documentation --- HACKING.md | 14 -------------- 1 file changed, 14 deletions(-) delete mode 100644 HACKING.md (limited to 'HACKING.md') 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. -- cgit v1.2.3-2-g168b