Changeset 3ca31d3 in git


Ignore:
Timestamp:
Oct 16, 2008, 7:16:16 PM (16 years ago)
Author:
Hans Schönemann <hannes@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b52fc4b2495505785981d640dcf7eb3e456778ef')
Children:
be6329476eef1914b44ef048eb0366d57a22c168
Parents:
35f951ebca763480d9681e7b3c5b8147b4d76be2
Message:
*hannes: +info


git-svn-id: file:///usr/local/Singular/svn/trunk@11145 2c84dea3-7e68-4137-9b89-c4e89433aadc
File:
1 edited

Legend:

Unmodified
Added
Removed
  • doc/simple-make

    r35f951 r3ca31d3  
    2626done
    2727sed -e 's/@include plu/@include s-plu/' -e 's/@value{PSUFFIX}/(plural)/g' < plural.tex >s-plural.tex
    28 # DVI:
     28# DVI: --------------------------------------------
    2929texi2dvi singular.doc
    30 # HTML:
     30# INFO: -------------------------------------------
     31makeinfo --force --no-split singular.doc
     32# HTML: -------------------------------------------
    3133/bin/rm -rf tmp
    3234mkdir tmp
     
    3436  -l2h -short_ext -l2h_tmp tmp -subdir html -prefix simple \
    3537  -top_file index.htm  singular.doc
     38#
     39echo "created: singular.hlp (info), singular.dvi, html/index.htm"
Note: See TracChangeset for help on using the changeset viewer.