home *** CD-ROM | disk | FTP | other *** search
/ Usenet 1994 January / usenetsourcesnewsgroupsinfomagicjanuary1994.iso / sources / unix / volume10 / logo / patch02 / makehelp
Encoding:
Text File  |  1987-07-06  |  286 b   |  22 lines
  1. : makehelp, /bin/sh script to make help files.
  2. ed - logoman << 'foo'
  3. 1i
  4. .pl 999i
  5. .
  6. 1,$s/\\f[123]//g
  7. 1,$s/\\(em/ ~ /g
  8. 1,$g/^\.ft/d
  9. 1,$g/^\.cu/d
  10. 1,$g/^\.po/d
  11. 1,$g/^\.NB/d
  12. 1,$g/^\.ti/d
  13. w manfoo
  14. q
  15. foo
  16. nroff manfoo 2>/dev/null >nrfoo
  17. cd help
  18. rm *
  19. ../splithelp ../nrfoo
  20. cd ..
  21. rm manfoo nrfoo
  22.