#! /bin/bash -e # # @testcase static defaults=none # @eval shcmd make -C %(srcdir)s/../../doc html # # make -C ../../doc html -