diff options
author | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
commit | e0c6872cf40896c7be36b11dcc744620f10adf1d (patch) | |
tree | 60335e10d2f4354b0674ec22d7b53f0f8abee672 /support/filehdr/makeinfo |
Initial commit
Diffstat (limited to 'support/filehdr/makeinfo')
-rw-r--r-- | support/filehdr/makeinfo | 25 |
1 files changed, 25 insertions, 0 deletions
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 + + |