#!/bin/bash

  curl http://server/webpage.php |
    sed -e '/<!-- payload begin -->/,/<!-- payload end -->/!d' |
    htmltoroff >webpage.ro
  groff -ww tmac.html htmlstyle.ro webpage.ro >webpage.ps