From e0c6872cf40896c7be36b11dcc744620f10adf1d Mon Sep 17 00:00:00 2001 From: Norbert Preining Date: Mon, 2 Sep 2019 13:46:59 +0900 Subject: Initial commit --- support/filehdr/makeinfo | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100644 support/filehdr/makeinfo (limited to 'support/filehdr/makeinfo') diff --git a/support/filehdr/makeinfo b/support/filehdr/makeinfo new file mode 100644 index 0000000000..2f8b5e7868 --- /dev/null +++ b/support/filehdr/makeinfo @@ -0,0 +1,25 @@ +#!/bin/sh +# Convert a TeXinfo or LaTeXinfo file to a GNU Emacs info file. +# The file type is determined automatically. +# [06-Mar-1996] -- update to remove absolute paths from -load options +# [04-Oct-1991] -- original version +for f in $* +do + if grep -s '^\\input texinfo' $f + then + echo "Processing TeXinfo file: $f" + emacs-19.29 -batch -funcall batch-texinfo-format $f + elif grep -s '^\\documentstyle.*latexinfo' $f + then + echo "Processing LaTeXinfo file: $f" + emacs-19.29 -batch \ + -load latexinfomd.el \ + -load latexinfo.el \ + -funcall batch-latexinfo-format \ + $f | egrep -v '^Mark set|^Done' + else + echo "Don't know what kind of file this is: $f" + fi +done + + -- cgit v1.2.3