DIST 129 B

123456
  1. #!/bin/sh
  2. # Change to yes to enable building of parsers or manual. Reconfigure
  3. # afterwards.
  4. build_parsers=no;
  5. build_manual=no;