jengelh-datetimespielwiese
Last change
on this file since 2e553a was
cc7519,
checked in by Hans Schönemann <hannes@…>, 14 years ago
|
*hannes: syntax
git-svn-id: file:///usr/local/Singular/svn/trunk@11148 2c84dea3-7e68-4137-9b89-c4e89433aadc
|
-
Property mode set to
100755
|
File size:
1.2 KB
|
Rev | Line | |
---|
[abc317] | 1 | #!/bin/sh |
---|
| 2 | # |
---|
[be6d47] | 3 | # assume texi2dvi, perl in path |
---|
| 4 | # cwd=doc |
---|
| 5 | # |
---|
[abc317] | 6 | cp examples.doc examples.tex |
---|
| 7 | cp general.doc general.tex |
---|
| 8 | cp math.doc math.tex |
---|
| 9 | cp pdata.doc pdata.tex |
---|
| 10 | cp platform.doc platform.tex |
---|
| 11 | cp pluconventions.doc pluconventions.tex |
---|
| 12 | cp plumath.doc plumath.tex |
---|
| 13 | cp pluplatform.doc pluplatform.tex |
---|
| 14 | cp plural.doc plural.tex |
---|
| 15 | cp pluralmain.doc pluralmain.tex |
---|
| 16 | cp plureference.doc plureference.tex |
---|
| 17 | cp plutypes.doc plutypes.tex |
---|
| 18 | cp reference.doc reference.tex |
---|
| 19 | cp start.doc start.tex |
---|
| 20 | cp ti_ip.doc ti_ip.tex |
---|
| 21 | cp tricks.doc tricks.tex |
---|
| 22 | cp types.doc types.tex |
---|
[cc7519] | 23 | cp decodegb.doc decodegb.tex |
---|
[abc317] | 24 | for i in pluplatform.tex plural.tex plumath.tex plureference.tex plutypes.tex pluconventions.tex |
---|
| 25 | do |
---|
| 26 | sed 's/@value{PSUFFIX}/(plural)/g' <$i >s-$i |
---|
| 27 | done |
---|
| 28 | sed -e 's/@include plu/@include s-plu/' -e 's/@value{PSUFFIX}/(plural)/g' < plural.tex >s-plural.tex |
---|
[3ca31d3] | 29 | # DVI: -------------------------------------------- |
---|
[abc317] | 30 | texi2dvi singular.doc |
---|
[3ca31d3] | 31 | # INFO: ------------------------------------------- |
---|
| 32 | makeinfo --force --no-split singular.doc |
---|
| 33 | # HTML: ------------------------------------------- |
---|
[be6d47] | 34 | /bin/rm -rf tmp |
---|
| 35 | mkdir tmp |
---|
| 36 | perl ./texi2html -init_file t2h_singular.init \ |
---|
| 37 | -l2h -short_ext -l2h_tmp tmp -subdir html -prefix simple \ |
---|
| 38 | -top_file index.htm singular.doc |
---|
[3ca31d3] | 39 | # |
---|
| 40 | echo "created: singular.hlp (info), singular.dvi, html/index.htm" |
---|
Note: See
TracBrowser
for help on using the repository browser.