diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-10-11 21:01:38 +0100 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-10-11 21:01:38 +0100 |
commit | d4835357d2e96fd8a3a33bfaf9f7b459ba31e978 (patch) | |
tree | 345dbaca1e8ba337c1aa26c8b5d0f647b3ccb134 /.file-metadata | |
parent | bf3f9e8110aeb0f7aa3d40de512465bc89eeba63 (diff) |
Properly working make clean when in group mode
Until now, when you ran `make clean', all the directories under
`$(BDIR)/tex/' would be deleted except for `macros' and `build'. This was
good for the single-user mode. But in group mode, this would delete the
user-specific TeX build directory because its called `build-USER', not
`build'.
With this commit, to fix the problem, we define the new `texbtopdir' and
based on the group condition, and use that to specify which directory to
not delete.
Diffstat (limited to '.file-metadata')
-rw-r--r-- | .file-metadata | bin | 6413 -> 6413 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/.file-metadata b/.file-metadata Binary files differindex d15fbaf..9fcebd9 100644 --- a/.file-metadata +++ b/.file-metadata |