source: git/doc/simple-make @ 3ca31d3

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