diff options
author | William Joye <wjoye@cfa.harvard.edu> | 2016-11-02 19:11:06 (GMT) |
---|---|---|
committer | William Joye <wjoye@cfa.harvard.edu> | 2016-11-02 19:11:06 (GMT) |
commit | 33c55bd916dff8c4932b01c7db58f0103ac31c31 (patch) | |
tree | a4cdca3287dd2df5247ce8079c424ffa438b4c2e /ast/doincludes | |
parent | 4121637f3d41d6dc23e6543a445b5a3aed9e6ddc (diff) | |
download | blt-33c55bd916dff8c4932b01c7db58f0103ac31c31.zip blt-33c55bd916dff8c4932b01c7db58f0103ac31c31.tar.gz blt-33c55bd916dff8c4932b01c7db58f0103ac31c31.tar.bz2 |
update ast
Diffstat (limited to 'ast/doincludes')
-rwxr-xr-x | ast/doincludes | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/ast/doincludes b/ast/doincludes deleted file mode 100755 index 656b0ac..0000000 --- a/ast/doincludes +++ /dev/null @@ -1,22 +0,0 @@ -#! /usr/bin/env perl - -# Reads a Latex file which contains \include{file} commands and writes -# the document to standard output with the text of the included files -# inserted. - -# Read input lines. - while ( <> ) { - -# Spot the \include{file} lines and extract the file name. - if ( ( $file ) = /^ *\\include{(.*)} *$/ ) { - -# Read the contents of the included file. - open( INCLUDE, $file . ".tex" ); - while ( <INCLUDE> ) { print; } - close( INCLUDE ); - -# Output other lines unchanged. - } else { - print; - } - } |