}

}

src_compile() {

src_compile() {

	emake || die "emake failed"

	emake || die "emake failed"

	cd doc; emake tex-ref.pdf || die "creation of tex-ref.pdf failed"

	cd doc; emake tex-ref.pdf || die "creation of tex-ref.pdf failed"

}

}