diff --git a/am/webstuff b/am/webstuff index 0e73330028e30b0413043f974e5d2a68fe9dba5a..92916fe19435589d619da84a8933161607be7b3e 100644 --- a/am/webstuff +++ b/am/webstuff @@ -14,7 +14,7 @@ .wml.html: export DUNEWEBDIR=$(DUNEWEBDIR); \ export BASEDIR=$(BASEDIR); \ - sh $(DUNE_COMMON_ROOT)/bin/wmlwrap -I $(srcdir) $< -o $@ + sh $(top_builddir)/bin/wmlwrap -I $(srcdir) $< -o $@ web-install: all if test -d $(DUNEWEBDIR) && test -r $(DUNEWEBDIR)/Make.global ; then \