diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-25 22:57:29 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-25 22:57:29 +0000 |
| commit | 22ac6cccba99109f23f5571f70ec660f6f37c76f (patch) | |
| tree | ecced876206cfadd71c5c14064bb26da9d308694 /configure | |
| parent | a60db913794a7e0563a5c3443311a955a98559f5 (diff) | |
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.
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |