1 TXT  = short.txt	# INPUT

     3 TXT  = short.txt	# INPUT

     2 

     4 

     3 HTML = out/short.html	# OUTPUT

     5 HTML = out/short.html	# OUTPUT

     4 PDF  = out/short.pdf	# OUTPUT

     6 PDF  = out/short.pdf	# OUTPUT

     5 

     7