#!/bin/sh

sh -c make pdf