diff options
| author | Michael S. Tsirkin <mst@redhat.com> | 2019-01-10 12:42:34 -0500 |
|---|---|---|
| committer | Michael S. Tsirkin <mst@redhat.com> | 2019-01-11 16:05:49 -0500 |
| commit | e31a3632bbd690d7465c837895e3b4cac2a0cee1 (patch) | |
| tree | 47650f9e011cd6b242a4bab1f6f0f3fd19f49636 | |
| parent | 70e1f04b813996f4a04faed269f39258bb977e09 (diff) | |
| download | virtio-spec-e31a3632bbd690d7465c837895e3b4cac2a0cee1.tar.gz | |
edit: fixupdiff: fix more unresolved references
Signed-off-by: Michael S. Tsirkin <mst@redhat.com>
| -rw-r--r-- | fixupdiff.pl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/fixupdiff.pl b/fixupdiff.pl index 1a49873..2844664 100644 --- a/fixupdiff.pl +++ b/fixupdiff.pl @@ -13,6 +13,8 @@ my @protected_labels = ( 'sec:General Initialization And Device Operation / Device Operation / Receiving Used Buffers From The Device', 'sec:Virtio Transport Options / Virtio Over PCI Bus / PCI-specific Initialization And Device Operation / Notifying The Device', 'sec:Virtio Transport Options / Virtio Over PCI Bus / PCI-specific Initialization And Device Operation / Virtqueue Interrupts From The Device', +'itm:General Initialization And Device Operation / Device Operation / Supplying Buffers to The Device / Place Buffers', +'itm:General Initialization And Device Operation / Device Operation / Supplying Buffers to The Device / Place Index', ); my $lstlisting=0; |