Changeset d336ee3 in git for make_tar.sh


Ignore:
Timestamp:
Nov 2, 2015, 4:07:05 PM (7 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'f875bbaccd0831e36aaed09ff6adeb3eb45aeb94')
Children:
f0a16b695061835db505a6c6d8ebab70b4c34304
Parents:
fe8ff2f6758abfd3adc3eeb069f5c72a077f180b
Message:
fix: installation/location of help files (idx,hlp,htm)
File:
1 edited

Legend:

Unmodified
Added
Removed

  • make_tar.sh

    rfe8ff2 rd336ee3  
    66mkdir singular-$VERSION/doc
    77cp doc/*.man singular-$VERSION/doc/.
    8 if test -e doc/html
     8if test -e doc/doc.tbz2
    99then
    10   mkdir singular-$VERSION/doc/html
    11   cp doc/html/* singular-$VERSION/doc/html/.
    12 fi
    13 if test -e doc/singular.idx
    14 then
    15   cp doc/singular.idx singular-$VERSION/doc/.
    16   cp doc/singular.hlp singular-$VERSION/doc/.
     10  cp doc/doc.tbz2 singular-$VERSION/doc/.
    1711fi
    1812
Note: See TracChangeset for help on using the changeset viewer.