diff options
author | mstsirkin <mstsirkin@0c8fb4dd-22a2-4bb5-bc14-6c75a5f43652> | 2013-12-01 21:44:38 +0000 |
---|---|---|
committer | mstsirkin <mstsirkin@0c8fb4dd-22a2-4bb5-bc14-6c75a5f43652> | 2013-12-01 21:44:38 +0000 |
commit | 7f40233b30132da540523a623411b6916545074a (patch) | |
tree | dacbfdcbf6d9577963b8ce4ae1b0f28f3be6f04d /makehtml.sh | |
parent | 3db30dbf8edc702f88b31e7d19b62d17df56cdcb (diff) |
tex: rename file
Rename virtio-v1.0-csd01.tex to virtio.tex,
so we don't have to rename before use.
Use --jobname for output.
Signed-off-by: Michael S. Tsirkin <mst@redhat.com>
git-svn-id: https://tools.oasis-open.org/version-control/svn/virtio@140 0c8fb4dd-22a2-4bb5-bc14-6c75a5f43652
Diffstat (limited to 'makehtml.sh')
0 files changed, 0 insertions, 0 deletions