#!/bin/sh

. ../find-gnumake.sh
find_gnumake

(cd ./manual ; $GNUMAKE html)


syntax highlighted by Code2HTML, v. 0.9.1