Omit unwanted lines from doc gen precisely

dox may be producing different output on OS X vs Travis CI environment.
Use sed to more precisely omit unwanted lines (instead of deleting by
line location).