#!/bin/bash
set -e

echo "TARGET = infra.pdf" >> debian/rules.pre