# HG changeset patch # User Steve Losh # Date 1278184305 14400 # Node ID 065cc3c25894592d847b7c826a2aa4b0845458d8 # Parent 1f220b967ed8c9db8b067451826b90b61a2129b4 docs: add a content kick script diff -r 1f220b967ed8 -r 065cc3c25894 docs/kick-content --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/docs/kick-content Sat Jul 03 15:11:45 2010 -0400 @@ -0,0 +1,4 @@ +#!/usr/bin/env bash + +kicker -qs -l 0.1 -e 'make html; reload_safari' \ +*.rst