--- makehtml.orig	2003-06-20 05:07:24.000000000 +0200
+++ makehtml	2003-08-04 11:21:11.000000000 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
 
 G=graphics
 H=html
