3 Commits

Author	SHA1	Message	Date
niyumard	76349f8350	/bin/bash -> /usr/bin/env bash ... This enables NixOS users to run the scripts in tools folder. I don't think it will break compatibility with other distros or make any breaking changes.	2023-04-19 16:55:56 +03:30
Eli Bendersky	fb2c28e58a	When testing on Travis, verify that tools/build was run ... This is done by routing the generation of HTML into a temporary directory, and checking its diff agains the existing public/ when running tests. Fixes #237	2019-07-01 06:44:09 -07:00
Mark McGranaghan	0c1a7354e5	tighten	2012-10-10 06:54:46 -07:00