Skip to content
Snippets Groups Projects
Commit 5a5b31cb authored by Markus Blatt's avatar Markus Blatt
Browse files

bin/wmlwrap is not executable after it was generated.

Use "sh $(top_srcdir)/bin/wmlwrap" instead of $(top_srcdir)/bin/wmlwrap.

[[Imported from SVN: r1934]]
parent 6a888d05
No related branches found
No related tags found
No related merge requests found
......@@ -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 \
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment