Ensure that man pages for "embedded" are included in the source.tar.gz

This fixes bug#34145.


BUILD/compile-dist:
  If the call to "configure" does not specify the "embedded" server,
  all man pages for "embedded" will be deleted:
  Re-add "--with-embedded-server".
  
  This fixes bug#34145.

BUILD/compile-dist

@@ -39,6 +39,8 @@ then
 fi
 
 # Make sure to enable all features that affect "make dist"
+# Remember that configure restricts the man pages to the configured features !
 ./configure \
+  --with-embedded-server \
   --with-ndbcluster
 make