#!/usr/bin/env bash
set -euo pipefail

ROOT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)"
EXPECTED_FILE="$(mktemp)"
trap 'rm -f "$EXPECTED_FILE"' EXIT

sed -n '24,43p' "$ROOT_DIR/docs/design.txt" >"$EXPECTED_FILE"

cmp -s "$EXPECTED_FILE" "$ROOT_DIR/spec/okf-nav-protocol.md"