diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-02-14 15:46:15 +0100 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-02-14 15:46:15 +0100 |
commit | 3d216bd6797bc4bf0d02cd43adf37706b057c580 (patch) | |
tree | 5f3be80a234172f63df65790507fe38f09edb37f /.gitignore | |
parent | d26535d6665879f77d39e790b4aa9ee0dcb63dcf (diff) |
Symbolic link to build directory now permanently added
Managing this symbolic link as a prerequisite that may or maynot be defined
just made the code too dirty. It is almost always needed, so it is now a
super-high-level prerequisite (first dependency of the `all' target, even
before the final PDF). In this way, we can be sure it is always built and
that nothing else depends on it.
If the user doesn't want it, they can simply remove it from the top
`Makefile'.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions