Commits

Gustavo Picon committed e38de99

removing docs/build.sh

  • Participants
  • Parent commits 29d1f6a

Comments (0)

Files changed (1)

docs/build.sh

-#!/bin/sh
-
-DOC_OUTPUTDIR=.
-cd $DOC_OUTPUTDIR
-#rm -f $DOC_OUTPUTDIR/*
-make clean
-HTMLDIR=$DOC_OUTPUTDIR make -e html
-rm -rf _build