diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2023-05-16 11:31:24 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2023-05-16 11:31:24 +0200 |
commit | 2ef2038b3301916bc8d256c170a8d075012c7aed (patch) | |
tree | eb8f3779e641248c005043a5abdc8f3bc1e2b9ff /doc/doc.html2ps | |
parent | e04fc00e978bb242f2aa6f0d1a6c4075048c9e09 (diff) |
Implement dist meta-operation without invoking install (GH issue #190)
The use of install (or another install-like program) can still be forced
with config.dist.cmd=install.
Diffstat (limited to 'doc/doc.html2ps')
0 files changed, 0 insertions, 0 deletions