eijkhout@s41.csrd.uiuc.edu (Victor Eijkhout) (10/15/90)
TeXhax@cs.washington.edu writes: >Can anyone tell me how I can set things up so that pages containing >\pageinsert 's (and not \topinsert 's) will have a different \headline >from other pages? With a bit of trickery: page inserts are packaged in a box of \vsize. If you alter this to some recognizable other size, say 1pt more, your output routine could test what the size of \box\topins is. If it's your special size, take different actions from what you do usually. Victor.