[CWEB] Fix NOS section in CTWILL output.

The \ifacro macros have to \shipout an otherwise empty page that holds
the NOS node for the PDF bookmarks. This final page should neither have
a header nor a mini index. (pdftex)

dvipdf[m[x]] complains about the incorrect annotation syntax.
(tex "\let\pdf=+ \input JOBNAME"; dvipdfm  JOBNAME)

git-svn-id: svn://tug.org/texlive/trunk/Build/source@67154 c570f23f-e606-0410-a88d-b1316a301751

texk/web2c/cwebdir/ChangeLog

@@ -1,3 +1,7 @@
+2023-05-19  Andreas Scherer  <https://ascherer.github.io>
+
+	* texinputs/pdfctwimac.tex: Fix NOS section.
+
 2023-05-14  Andreas Scherer  <https://ascherer.github.io>
 
 	* Makefile,

texk/web2c/cwebdir/texinputs/pdfctwimac.tex

@@ -675,15 +675,16 @@
   \fi}
 \def\fin{\ifacro \message{Section names:}
   \def\U##1.{} \def\Us##1.{} \let\I=\relax \let\*=*
+  \newrefs={} \output={\shipout\box255}
   \def\outsecname{Names of the sections}
   \ifpdftex \makebookmarks \countsections
     \pdfdest name {NOS} fith
     \pdfoutline goto name {NOS} count -\the\countD {\outsecname}
     \def\X##1:##2\X{\firstsecno##1.%
       {\toksF={}\makeoutlinetoks##2\outlinedone\outlinedone}%
       \pdfoutline goto num \the\toksA \expandafter{\the\toksE}}
-  \else \output={\shipout\box255}
-    \special{pdf: outline -1 << /Title (\outsecname) >>}%
+  \else \special{pdf: outline -1 << /Title (\outsecname)
+      /Dest [ @thispage /FitH @ypos ] >>}
     \def\X##1:##2\X{\firstsecno##1.%
       {\toksF={}\makeoutlinetoks##2\outlinedone\outlinedone}%
       \special{pdf: outline 0 << /Title (\the\toksE)