#!/usr/bin/bash

pdflatex -jobname test-dbtex-1000x6-doc4 test-dbtex-doc
