Added make rule for dtx.