Index of Man Pages ams amsbenchr amsbenchs amsd amshello amslog amslogprt amsmib amspub amsrc amsshell amsstop amssub amsxml petition_log ramsgate