blob: 6b0b2ec7246336a9dd76a0b64c496c8d0ad96fce (
plain)
1
2
3
4
5
6
7
8
9
10
|
--- 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)
|