.. |
sgmlconv
|
Enhanced docstring and some comments.
|
1999-05-19 17:37:37 +00:00 |
buildindex.py
|
process_nodes(): New function.
|
1999-02-24 16:36:48 +00:00 |
checkargs.pm
|
New conversion tools for HTML->info from Michael Ernst
|
1999-01-08 15:25:29 +00:00 |
custlib.py
|
…
|
|
findmodrefs
|
Add command line flags to just list the files that contain the
|
1999-04-22 20:32:21 +00:00 |
fix_hack
|
…
|
|
fix_libaux.sed
|
/bin/sed works on both Solaris and RedHat Linux; /usr/bin/sed does not.
|
1998-05-08 03:42:23 +00:00 |
fixinfo.el
|
Simplify slightly.
|
1999-01-27 18:40:36 +00:00 |
getpagecounts
|
Make this simpler; don't care about the paper size. Require that the
|
1999-03-18 14:57:53 +00:00 |
html2texi.pl
|
Update to the latest version of Michael Ernst's script.
|
1999-01-14 18:17:07 +00:00 |
indfix.py
|
process(): New function that contains the "orchestration" of the
|
1999-03-03 19:36:23 +00:00 |
keywords.py
|
Use #!/usr/bin/env python instead of #!/usr/local/bin/python.
|
1999-04-09 14:53:35 +00:00 |
listmodules
|
When looking for things that might be modules, include *module.c from
|
1999-06-17 18:49:18 +00:00 |
mkdvi.sh
|
Further refinement, to allow this to handle the library reference as
|
1999-04-14 13:13:32 +00:00 |
mkhowto
|
Make it work for "manual" documents as well as "howto" documents.
|
1999-05-06 19:37:38 +00:00 |
mkhtml.sh
|
Make sure latex2html doesn't produce a hard link from $part/$part.html
|
1999-05-03 14:27:45 +00:00 |
mkinfo
|
Add a few comments.
|
1999-01-08 15:32:27 +00:00 |
mkmodindex
|
Oops, missed a couple of substitutions in the templates.
|
1999-03-04 21:33:55 +00:00 |
mktarball.sh
|
Added --tools option, to package only the framework (no documents).
|
1998-10-21 14:26:26 +00:00 |
newind.py
|
Revive newind.py. -sigh-
|
1998-03-16 16:15:49 +00:00 |
node2label.pl
|
Revert previous change; there's a better way to do it.
|
1999-02-10 17:08:00 +00:00 |
toc2bkm.py
|
process(): New function that contains the "orchestration" of the
|
1999-03-03 19:25:56 +00:00 |
whichlibs
|
Adjust to new file layout.
|
1998-05-08 15:37:13 +00:00 |