fix sample config for disabling makeinfo

config.mak.dist

@@ -33,8 +33,8 @@
 
 # Recommended options for faster/simpler build:
 
+# MAKE += MAKEINFO=true
 # COMMON_CONFIG += --disable-nls
-# COMMON_CONFIG += MAKEINFO=/bin/false
 # GCC_CONFIG += --enable-languages=c,c++
 # GCC_CONFIG += --disable-libquadmath --disable-decimal-float
 # GCC_CONFIG += --disable-multilib