#pmake: build docs pdf

dotarget=pdf

!include ../mif/master.mif
