diff options
| author | Andreas Jaeger <aj@suse.de> | 2001-05-18 13:01:32 +0000 |
|---|---|---|
| committer | Andreas Jaeger <aj@suse.de> | 2001-05-18 13:01:32 +0000 |
| commit | 0e17ee3c71f956e61b5f79a5c91d3d4814bfd60e (patch) | |
| tree | 28e696149826dd60e11c25e155650a1033f4222e /manual/texis.awk | |
| parent | 6e2d19cab9b30430ec1c4f2559f9a5071ae8d8c9 (diff) | |
Correct close statement.
Diffstat (limited to 'manual/texis.awk')
| -rw-r--r-- | manual/texis.awk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/manual/texis.awk b/manual/texis.awk index a2a8dbfe09..153724755d 100644 --- a/manual/texis.awk +++ b/manual/texis.awk @@ -8,13 +8,13 @@ BEGIN { { while ((getline < input[s]) > 0) { - if ($1 == "@include") + if ($1 == "@include") { input[++s] = $2; print $2, "\\"; } } - close(input[stackptr]); + close(input[s]); } } print ""; |