Coal has too little hydrogen per carbon to extract H2 from it (economically speaking).
It is so much easier to make gasoline, diesel and jet fuel from coal than making H2 or CH4.
It might make sense to make butane from coal since it has much more Carbon per Hydrogen than methane (C4H10)...