From 97c76adbf4e8a40a26f9f98e901b184d1636954a Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Sat, 19 Mar 2011 15:28:45 +0000
Subject: [PATCH] fix RUNTEX

---
 packages/Makefile.defs.in | 2 --
 1 file changed, 2 deletions(-)

diff --git a/packages/Makefile.defs.in b/packages/Makefile.defs.in
index 89317a83e..13767f06c 100644
--- a/packages/Makefile.defs.in
+++ b/packages/Makefile.defs.in
@@ -27,8 +27,6 @@ INSTALL_SCRIPT=@INSTALL_SCRIPT@
 ################################################################
 
 LATEX=latex
-RUNTEX=../../man/runtex
-DOC2TEX=../../man/doc2tex
 TEX=$(DOC).tex $(SUBTEX)
 DVI=$(DOC).dvi
 PDF=$(DOC).pdf