diff --git a/am/webstuff b/am/webstuff index de12112fd0456fa18733abe21d666d685b8d8c01..4d0917fd31f8a6cb06f5b14bf6d3d7447727b945 100644 --- a/am/webstuff +++ b/am/webstuff @@ -16,7 +16,7 @@ export BASEDIR # pass files through wrapper .wml.html: - $(top_srcdir)/bin/wmlwrap $< -o $@ + sh $(top_srcdir)/bin/wmlwrap $< -o $@ web-install: all if test -d $(DUNEWEBDIR) && test -r $(DUNEWEBDIR)/Make.global ; then \