diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-05-21 14:43:09 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-05-21 14:43:09 +0100 |
| commit | ba3546617998735301f1e72fa98872e27520829f (patch) | |
| tree | c2a6a7c38a525ac068392b5eca7fd2134909e1d2 /.gitignore | |
| parent | 146122a0ecc8b35263e9d4bfd968535e06456ad7 (diff) | |
Source directory links to build directory all managed in configure
Until now, the `tex/build' symbolic link was put in the clone/source tree
when the build-directory's `tex' directory was being built. Thanks to
Roberto Baena, we just found a bug because of this behavior: when a second
group member is trying to build the pipeline, since the build directory's
`tex' directory already exists, no `tex/build' will be put in their
clone/source directory. As a result, the PDF building will crash.
To fix this (and keep things organized), the two `tex/build' and `tex/tikz'
links (to the build directory) are now built in the configure step while it
is building all the top-level directories. They are no longer built within
the Makefiles.
Also, a comment was added on top of every directory built during the
configuration phase to be clear.
This fixes bug #56362.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions