detexinfo 730 B

12345678910111213141516171819
  1. #! /bin/sh
  2. # $Id$
  3. # Copyright 2011, 2012 Free Software Foundation, Inc.
  4. #
  5. # This file is free software; as a special exception the author gives
  6. # unlimited permission to copy and/or distribute it, with or without
  7. # modifications, as long as this notice is preserved.
  8. #
  9. # This program is distributed in the hope that it will be useful, but
  10. # WITHOUT ANY WARRANTY, to the extent permitted by law; without even the
  11. # implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
  12. #
  13. # Original author: Patrice Dumas.
  14. # Script to strip Texinfo commands. It is so trivial we don't install
  15. # it, but it's in the distribution as an example.
  16. #
  17. exec texi2any --set-customization-variable TEXINFO_OUTPUT_FORMAT=textcontent "$@"