jengelh-datetimespielwiese
|
Last change
on this file since 3ca31d3 was
3ca31d3,
checked in by Hans Schönemann <hannes@…>, 14 years ago
|
|
*hannes: +info
git-svn-id: file:///usr/local/Singular/svn/trunk@11145 2c84dea3-7e68-4137-9b89-c4e89433aadc
|
-
Property mode set to
100755
|
|
File size:
1.2 KB
|
| Line | |
|---|
| 1 | #!/bin/sh |
|---|
| 2 | # |
|---|
| 3 | # assume texi2dvi, perl in path |
|---|
| 4 | # cwd=doc |
|---|
| 5 | # |
|---|
| 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 |
|---|
| 23 | for i in pluplatform.tex plural.tex plumath.tex plureference.tex plutypes.tex pluconventions.tex |
|---|
| 24 | do |
|---|
| 25 | sed 's/@value{PSUFFIX}/(plural)/g' <$i >s-$i |
|---|
| 26 | done |
|---|
| 27 | sed -e 's/@include plu/@include s-plu/' -e 's/@value{PSUFFIX}/(plural)/g' < plural.tex >s-plural.tex |
|---|
| 28 | # DVI: -------------------------------------------- |
|---|
| 29 | texi2dvi singular.doc |
|---|
| 30 | # INFO: ------------------------------------------- |
|---|
| 31 | makeinfo --force --no-split singular.doc |
|---|
| 32 | # HTML: ------------------------------------------- |
|---|
| 33 | /bin/rm -rf tmp |
|---|
| 34 | mkdir tmp |
|---|
| 35 | perl ./texi2html -init_file t2h_singular.init \ |
|---|
| 36 | -l2h -short_ext -l2h_tmp tmp -subdir html -prefix simple \ |
|---|
| 37 | -top_file index.htm singular.doc |
|---|
| 38 | # |
|---|
| 39 | echo "created: singular.hlp (info), singular.dvi, html/index.htm" |
|---|
Note: See
TracBrowser
for help on using the repository browser.
