Let the user choose the formats

src/config.h

@@ -86,10 +86,10 @@
 //#define SUPPORT_FILEFORMAT_JPG    1
 //#define SUPPORT_FILEFORMAT_GIF    1
 //#define SUPPORT_FILEFORMAT_PSD    1
-cp">#define SUPPORT_FILEFORMAT_DDS      1
+o">//#define SUPPORT_FILEFORMAT_DDS    1
 #define SUPPORT_FILEFORMAT_HDR      1
-cp">#define SUPPORT_FILEFORMAT_KTX      1
-cp">#define SUPPORT_FILEFORMAT_ASTC     1
+o">//#define SUPPORT_FILEFORMAT_KTX    1
+o">//#define SUPPORT_FILEFORMAT_ASTC   1
 //#define SUPPORT_FILEFORMAT_PKM    1
 //#define SUPPORT_FILEFORMAT_PVR    1