generate bin/wmlwrap so that a "make" in doc/ doesn't fail miserably

if wml is not installed

[[Imported from SVN: r1933]]

bin/.gitignore

 Makefile
 Makefile.in
 .deps
-semantic.cache
\ No newline at end of file
+semantic.cache
+wmlwrap
\ No newline at end of file

bin/wmlwrap → bin/wmlwrap.in

@@ -9,7 +9,7 @@
 
 if test x"$DUNEWEBDIR" = x ; then
     # call wml without tricks
-    wml $*
+    @WML@ $*
 fi
 
 # rewrite filenames to absolute pathes
@@ -26,8 +26,8 @@ done
 if test -d $DUNEWEBDIR && test -r $DUNEWEBDIR/layout/default.wml ; then
     # call wml from within dune-web
     # --nocd lets wml use the .wmlrc from dune-web
-    ( cd $DUNEWEBDIR && wml --nocd -DROOT=$BASEDIR $ARGS )
+    ( cd $DUNEWEBDIR && @WML@ --nocd -DROOT=$BASEDIR $ARGS )
 else
     # call wml without tricks
-    wml $*
+    @WML@ $*
 fi

configure.ac

@@ -166,5 +166,6 @@ AC_CONFIG_FILES([Makefile
 	 doc/doxygen/Makefile
          m4/Makefile
 	 am/Makefile
+	 bin/wmlwrap
          dune.pc])
 AC_OUTPUT