Misc cleanups.
authorrms <rms>
Sun, 25 Oct 1992 22:55:48 +0000 (22:55 +0000)
committerrms <rms>
Sun, 25 Oct 1992 22:55:48 +0000 (22:55 +0000)
commitc3ae6b9f46a85089f5167f1d71b07c353e93db74
treecce8bb602c552ad8a28acd2e8c7694a9b72a4ea7
parente70740aedb357870c5ebc455a707dc04456695e0
Misc cleanups.
manual/pipe.texi