Revision cbe30304c50c659b088a698c148b86a24da6b7d6 authored by Mohammad Akhlaghi on 10 January 2021, 03:32:54 UTC, committed by Mohammad Akhlaghi on 10 January 2021, 03:32:54 UTC
Until now, when you ran './project make dist', first it would delete the temporary files (like files ending in '~' or '.swp' created by some editors), then it had a place to add project-specific operations for the distribution. However, in the process of cleaning the temporary files, it would 'cd' into the directory that would later be packaged. So project-specific operations would first have to 'cd' back into the top source directory. This was prone to hard-to-find bugs. With this commit, to avoid the problem the project-specific operations are now placed before the cleaning phase. This is also technically good because in the project-specific operations there may also be temporary files that shouldn't go into the distribution tarball.
1 parent d9a6855
| File | Mode | Size |
|---|---|---|
| reproduce | ||
| tex | ||
| .dir-locals.el | -rw-r--r-- | 1.3 KB |
| .file-metadata | -rw-r--r-- | 9.0 KB |
| .gitignore | -rw-r--r-- | 994 bytes |
| COPYING | -rw-r--r-- | 34.3 KB |
| README-hacking.md | -rw-r--r-- | 91.9 KB |
| README.md | -rw-r--r-- | 24.6 KB |
| paper.tex | -rw-r--r-- | 14.2 KB |
| project | -rwxr-xr-x | 20.7 KB |
Computing file changes ...
