tools/makeinfo_dummy

   1 #!/bin/bash
   2
   3 # This is a stand-in for makeinfo, so that it's not required to build the
   4 # tools, since we don't really need the docs.
   5 # It emits 'texinfo 4.6' because configure looks for at least version 4.6.
   6 echo "texinfo 4.6 dummy"