#!/bin/sh
echo t4ht is broken on Fedora F19, skip it