From 22ac6cccba99109f23f5571f70ec660f6f37c76f Mon Sep 17 00:00:00 2001 From: Mohammad Akhlaghi Date: Sun, 25 Nov 2018 22:57:29 +0000 Subject: Rule of tex/pipeline.tex now defined in paper.mk not top Makefile To avoid redundant steps in the the top-level Makefile and make it simpler and easier to follow, we now define the base names of all the Makefiles in the `makesrc' variable of the top-level Makefile. `makesrc' is then used to define the Makefiles to include and the necessary TeX macros at the same time. This is much more clear and obvious than the previous case were we had to list the Makefiles and TeX macro files separately in the top level Makefile. --- configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'configure') diff --git a/configure b/configure index 4701e3a..4753320 100755 --- a/configure +++ b/configure @@ -634,7 +634,7 @@ fi # # To see why this is the last step of the configuration, see above (when we # delete the top-level Makefile at the start of this script). -ln -s $(pwd)/reproduce/src/make/Top-Makefile Makefile +ln -s $(pwd)/reproduce/src/make/top.mk Makefile -- cgit v1.2.1