aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2018-02-14 15:46:15 +0100
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2018-02-14 15:46:15 +0100
commit3d216bd6797bc4bf0d02cd43adf37706b057c580 (patch)
tree5f3be80a234172f63df65790507fe38f09edb37f /.gitignore
parentd26535d6665879f77d39e790b4aa9ee0dcb63dcf (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