# HG changeset patch
# User Gustavo Picon <tabo@tabo.pe>
# Date 1271219374 18000
# Node ID 29f0fc2f51cc14b49284bfbf65d8ded802bf54ba
# Parent  866cb8c363fb2cffffcb47162f83830e93c92673
removing build.sh

diff -r 866cb8c363fb2cffffcb47162f83830e93c92673 -r 29f0fc2f51cc14b49284bfbf65d8ded802bf54ba docs/build.sh
--- a/docs/build.sh	Tue Apr 13 23:26:46 2010 -0500
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,8 +0,0 @@
-#!/bin/sh
-
-DOC_OUTPUTDIR=.
-cd $DOC_OUTPUTDIR
-#rm -f $DOC_OUTPUTDIR/*
-make clean
-HTMLDIR=$DOC_OUTPUTDIR make -e html
-rm -rf _build