makeinfo 17 B

12
  1. #!/bin/sh
  2. exit 0