diff options
| -rwxr-xr-x | make-setup-generated.sh | 11 | ||||
| -rw-r--r-- | title.tex | 4 |
2 files changed, 13 insertions, 2 deletions
diff --git a/make-setup-generated.sh b/make-setup-generated.sh index ba3fdd4..69ef696 100755 --- a/make-setup-generated.sh +++ b/make-setup-generated.sh @@ -39,6 +39,16 @@ case "$1" in exit 1 esac +#Prepend OASIS unless already there +case "$STAGENAME" in + OASIS*) + OASISSTAGENAME="OASIS $STAGENAME" + ;; + *) + OASISSTAGENAME="$STAGENAME" + ;; +esac + cat > setup-generated.tex <<EOF % define VIRTIO Working Draft number and date \newcommand{\virtiorev}{$VERSION} @@ -48,4 +58,5 @@ cat > setup-generated.tex <<EOF \newcommand{\virtiodraftstageextra}{$STAGEEXTRA} \newcommand{\virtiodraftstageextratitle}{$STAGEEXTRATITLE} \newcommand{\virtiodraftstagename}{$STAGENAME} +\newcommand{\virtiodraftoasisstagename}{$OASISSTAGENAME} EOF @@ -92,8 +92,8 @@ For information on whether any patents have been disclosed that may be essential When referencing this specification the following citation format should be used:\newline \textbf{[VIRTIO-v\virtiorev]}\newline -\textit{\virtioversion}. \virtioworkingdraftdate.\newline \virtiodraftstage \virtiodraftstageextra -\virtiourlhtml +\textit{\virtioversion}. \virtioworkingdraftdate. +\virtiodraftoasisstagename \virtiodraftstageextra\virtiourlhtml \end{oasistitlesection} \vfill\newpage |