glutPostRedisplay(3xglut) on Linux

The text ee15c31bded6, as Debian 3.0 (Woody) shipped it. The page shows this text now.

marks the current or specified window as needing to be redisplayed.