#!/bin/bash

echo make is ${MAKE:=make} !

# do default configuration

./configure -minimal

# bring man page up to date

$MAKE -C Doc ccslc.1
$MAKE -C Doc ccslc.html
