#!/bin/sh

rm -rf \
        gtkhtml* *stamp debian/{files,gtkhtml{0{,-dbg},-dev},tmp}
