diff options
author | mstsirkin <mstsirkin@0c8fb4dd-22a2-4bb5-bc14-6c75a5f43652> | 2013-12-01 21:45:03 +0000 |
---|---|---|
committer | mstsirkin <mstsirkin@0c8fb4dd-22a2-4bb5-bc14-6c75a5f43652> | 2013-12-01 21:45:03 +0000 |
commit | 9ede441dd7c2a681d1adeacf4e879972c86db310 (patch) | |
tree | be4e5f7e13cbe5620c3929fbb976e77e5dc9c47f /virtio.tex | |
parent | 7f40233b30132da540523a623411b6916545074a (diff) |
html: rename file
htlatex doesn't seem to support -jobname for output
file name, so simply rename file before processing.
Signed-off-by: Michael S. Tsirkin <mst@redhat.com>
git-svn-id: https://tools.oasis-open.org/version-control/svn/virtio@141 0c8fb4dd-22a2-4bb5-bc14-6c75a5f43652
Diffstat (limited to 'virtio.tex')
0 files changed, 0 insertions, 0 deletions