EXPLODE
Section: User Commands (1)
Index
Return to Main Contents
NAME
explode - file exploder (LaTeX source-code extractor)
SYNOPSIS
explode
pathname[.tex]
unexplode
pathname[.tex]
DESCRIPTION
explode
takes source code intertwined with LaTeX and emits
just the code, to however many files as are needed.
unexplode
deletes the files created that way.
The syntax of the LaTeX file is very simple:
\file{filename}
names a file to which material will be written.
\begin{verbatim}
starts the copy to the file, and
\end{verbatim}
ends it.
The verbatim sections can be interleaved with any other
legal LaTeX construct, and multiple verbatims which
follow a single \file directive will be written to the
same file.
Multiple files can be in use at any one time, and
you can switch between them by inserting a
\file line.
EXAMPLE
The following is the simplest plausible explode-file.
\file{foo.h}
...
\begin{verbatim}
typedef void * FOO;
\end{verbatim}
...
\file{foo.c}
\begin{verbatim}
...
ISTORY
This was written one afternoon when it became obvious that pr
rewriting my Web subset was going to take a looooong time.
This was written instead, to allow simple, multi-file programs
to be generated from a single LaTeX source file.
The program is extremely simple, has no options and probably never will
have. The problem of multi-input, multi-output LaTeX ->
programming-language coding is not something that's going to succumb
to simple v7 filters. In the meantime, here's the filter.
None at present.
SEE ALSO
LaTeX(1), tangle(1), weave(1), Donald Knuth's Web system.
AUTHORS
Dave Collier-Brown (davecb@nexus.yorku.ca).
DIAGNOSTICS
``Too many output files'', if the system runs out of
file descriptors.
BUGS
The limit on output files. An earlier version
re-used file descriptors...
The directives need to be on a line by themselves, as
the whole line gets discarded after the directive
is interpreted.
Index
- NAME
-
- SYNOPSIS
-
- DESCRIPTION
-
- EXAMPLE
-
- ISTORY
-
- SEE ALSO
-
- AUTHORS
-
- DIAGNOSTICS
-
- BUGS
-
This document was created by
man2html,
using the manual pages.
Time: 06:57:54 GMT, December 12, 2024