diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-01-14 15:29:48 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-01-14 15:29:48 +0000 |
| commit | a37bc72d606b6fe3bb9ada52ee0ffb60a7bd0e93 (patch) | |
| tree | 9b7edca8eeaea90521eae417674078d98b4d6ef4 /tex | |
| parent | ca83e50347452d47bd9915156e896201d09b44a5 (diff) | |
Fixed call to sed in the standard GNU Build system
The call to SED in `dependencies-build-rules.mk' had the file name before
the options. On some verions of SED, this would cause problems. So the
filename is now given after the options.
Diffstat (limited to 'tex')
0 files changed, 0 insertions, 0 deletions