diff options
| author | Kyle Guinn <elyk03@gmail.com> | 2010-12-18 09:36:24 -0200 |
|---|---|---|
| committer | Robby Workman <rworkman@slackbuilds.org> | 2010-12-20 22:44:02 -0600 |
| commit | 4818108e91f6ef04d7b61c4ea8c78cf9d7e6bd11 (patch) | |
| tree | d4cc75a85b2b26ddaae1117f55e0b7c02249ec54 /development/noweb/doinst.sh | |
| parent | c365ff6839e61e2731ca2564dd9e414178129288 (diff) | |
development/noweb: Added (literate programming tool)
Signed-off-by: Niels Horn <niels.horn@slackbuilds.org>
Diffstat (limited to 'development/noweb/doinst.sh')
| -rw-r--r-- | development/noweb/doinst.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/development/noweb/doinst.sh b/development/noweb/doinst.sh new file mode 100644 index 000000000000..f2dbcb5b9907 --- /dev/null +++ b/development/noweb/doinst.sh @@ -0,0 +1,2 @@ +texhash + |