--- doc/Makefile.in	1998/03/19 12:37:30	1.1
+++ doc/Makefile.in	1998/03/19 12:37:14
@@ -10,6 +10,7 @@
 man3dir = $(mandir)/man3
 
 RM = rm -f
+SHELL= /bin/sh
 
 TEXINPUTDIR = $(srcdir)