summaryrefslogtreecommitdiff
path: root/support/filehdr/makeinfo
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
committerNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
commite0c6872cf40896c7be36b11dcc744620f10adf1d (patch)
tree60335e10d2f4354b0674ec22d7b53f0f8abee672 /support/filehdr/makeinfo
Initial commit
Diffstat (limited to 'support/filehdr/makeinfo')
-rw-r--r--support/filehdr/makeinfo25
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
+
+