Thanks to visit codestin.com Credit goes to github.com
We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 38df3c3 commit c4e9263Copy full SHA for c4e9263
1 file changed
Doc/tools/mkinfo
@@ -1,6 +1,11 @@
1
#! /bin/sh
2
# -*- Ksh -*-
3
4
+# Script to drive the HTML-info conversion process.
5
+# Pass in a single parameter: the name of the top-level HTML file
6
+# generated by LaTeX2HTML.
7
+#
8
+# Written by Fred L. Drake, Jr. <[email protected]>
9
10
PERL=${PERL:-perl}
11
EMACS=${EMACS:-emacs}
@@ -14,6 +19,7 @@ DOCDIR=`dirname "$FILENAME"`
14
19
DOCFILE=`basename "$FILENAME"`
15
20
DOCNAME=`basename "$FILENAME" .html`
16
21
22
+# Now build the real directory names, and locate our support stuff:
17
23
WORKDIR=`pwd`
18
24
cd `dirname $0`
25
TOOLSDIR=`pwd`
@@ -23,7 +29,8 @@ cd $WORKDIR
29
30
31
run() {
26
- echo "$@"
32
+ # show what we're doing, like make does:
33
+ echo "$*"
27
34
$* || exit $?
28
35
}
36
0 commit comments