#!

# First make a postscript file of everything.
dvips -z -o junk.ps manual
# Filter to put %%BeginDocument lines at start of new lines
sed -e 's/@setspecial%%BeginDocument/@setspecial\\
%%BeginDocument/' junk.ps >! manual.ps
rm -f junk.ps

#
# Now a postscript file of the color pages only.
dvips -pp 34,42,53,56,65,80,89,95-96,106-107,115,117,144,156,169-173,186-187,201-203,230,237,242,248,251,269,271,313-315,326,498,545,556,560,562,577-582 -o manual_color.ps manual

#
# Now a postscript file of the black and white pages only.
dvips -pp 0-33,35-41,43-52,54-55,57-64,66-79,81-88,90-94,97-105,108-114,116,118-143,145-155,157-168,174-185,188-200,204-229,231-236,238-241,243-247,249-250,252-268,270,272-312,316-325,327-497,499-544,546-555,557-559,561,563-576,583-597 -o manual_bw.ps manual