1 files changed, 0 insertions, 2 deletions
diff --git a/configure b/configure
index 00d5722..8789201 100755
--- a/configure
+++ b/configure
@@ -14,8 +14,6 @@ for tgt in */document.tex; do
     DIR=$(dirname $tgt)
     ( echo -en "\n${DIR}/document.pdf: ${DIR}/document.tex "; find $DIR \!\
  -type d \! -name "document.tex" -a -name "*.tex" -exec echo {} +; ) >> Makefile
-    echo -e "\noutputs/${DIR}.pdf: ${DIR}/document.pdf outputs\n\tcp -f $< \$@"\
-    >> Makefile
 done
 
 for gen in gen/*.orig.tex; do