diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2021-02-20 08:41:13 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2021-02-20 08:41:13 +0100 |
| commit | ae737b439a058091813ece216edd9efc60e46503 (patch) | |
| tree | aa702a9de14d241bbd7cd89b43f054d6ba056af8 /build-aux/texinfo.tex | |
| parent | c4324e94167c1de0049d15ce622efba31ec06dbc (diff) | |
make: Add target for manual post-processing.
Diffstat (limited to 'build-aux/texinfo.tex')
0 files changed, 0 insertions, 0 deletions