spielwiese
|
Last change
on this file was
3259d7,
checked in by Michael Orlitzky <michael@…>, 21 months ago
|
|
**/*: rename singular.hlp to singular.info.
The help file presently named "singular.hlp" is intended to be read
with GNU Info, which looks for an extension of ".info" by
default. Thus, at the moment, one must run "info singular.hlp" to read
the installed file, whereas "info singular" is more natural.
This commit replaces "singular.hlp" with "singular.info" throughout
the source tree so that the file ultimately has the name that GNU Info
or Emacs expect.
Closes: https://github.com/Singular/Singular/issues/1107
|
-
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 | cp decodegb.doc decodegb.tex |
|---|
| 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 |
|---|
| 29 | # DVI: -------------------------------------------- |
|---|
| 30 | texi2dvi singular.doc |
|---|
| 31 | # INFO: ------------------------------------------- |
|---|
| 32 | makeinfo --force --no-split singular.doc |
|---|
| 33 | # HTML: ------------------------------------------- |
|---|
| 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 |
|---|
| 39 | # |
|---|
| 40 | echo "created: singular.info (info), singular.dvi, html/index.htm" |
|---|
Note: See
TracBrowser
for help on using the repository browser.
