(Message outbox:1067) MessageName: (Message outbox:1067) SUBJECT: PORTS MANUAL -- SOLVED Date: Sat, 27 Oct 90 02:36:28 -0700 From: Alastair Milne To: Alfred Bork ---------------------------------------- Dear Folks, I think I now know how to get the Ports manual printed, with the contents of the pages in essentially the right places. The page numbers are at the righthand side, instead of the middle, but if there's any other oddity, I haven't noticed it yet. How to do this? % ditroff -mindent "indent" is not the macro we used to use, I'm sure of it. But it gives the best printing of the ones I've tried. I think probably the one we used before was "e" (not "E"), but when I tried that, the pages were shifted to the left -- though at least not actually cut off down the left. To print the Ports manual itself, you'd need to do essentially this: zcat ~archive/documentation/Ports.doc.Z | ditroff -mindent - (and you can add parameters like -P8300c or -P5320 to the ditroff part). The reason is that we keep the Ports manual compressed on line. "zcat" gives you an uncompressed copy without decompressing the file itself. Having said all that, I don't think you'll want to be printing the manual again, assuming the one I'm printing now turns out alright. It's really big. I'm printing it on the 8300c, so I'll leave it on the desk beside the 8300c, where all the printouts are layed. I'm sorry this has taken so long. Like so many things, it has been forced back along my queue. Alastair ================================================== Cc: lharris@ics.uci.edu, lynn@ics.uci.edu