Remove now-unneeded doc shenanigans.

scripts/mk-docs.sh

@@ -12,11 +12,10 @@ source $SCRIPT_DIR/config.sh
 function mk_doc() {
   local dir=$1
   local flag=$2
-  pushd $dir > /dev/null
+  pushd $dir > /dev/null 2>&1
     echo ":: Documenting '${dir}'..."
     cargo doc --no-deps --all-features
-    cargo doc --no-deps $flag
-  popd > /dev/null
+  popd > /dev/null 2>&1
 }
 
 # We need to clean-up beforehand so we don't get all of the dependencies.
@@ -24,7 +23,7 @@ cargo clean
 
 mk_doc $LIB_DIR
 mk_doc $CODEGEN_DIR
-mk_doc $CONTRIB_DIR  --all-features
+mk_doc $CONTRIB_DIR
 
 # Blank index, for redirection.
 touch ${DOC_DIR}/index.html