Changeset 717a9e in git


Ignore:
Timestamp:
Jun 17, 1998, 3:08:02 PM (26 years ago)
Author:
Kai Krüger <krueger@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
326a59dbe75d65e35ada4b0602ff7b67069653b0
Parents:
42be318eceff33f3b480441df6c83da415057302
Message:
Changed icons in html-version


git-svn-id: file:///usr/local/Singular/svn/trunk@2184 2c84dea3-7e68-4137-9b89-c4e89433aadc
Location:
doc
Files:
8 added
2 edited

Legend:

Unmodified
Added
Removed

  • doc/Makefile.in

    r42be31 r717a9e  
    3030TEXINDEX        = texindex
    3131DVIPS           = dvips
     32IMAGES          = contents_motif.gif index_motif.gif \
     33                next_motif.gif next_motif_gr.gif \
     34                previous_motif.gif previous_motif_gr.gif \
     35                singular-small.jpg singular.jpg
    3236
    3337SINGULAR        = @SINGULAR@
    … …  
    8185        test -d html || mkdir html
    8286        cd html && ../texi2html -I .. -menu -expandinfo -number -split_node -verbose ../singular.tex
     87        ( cd html; \
     88          for img in ${IMAGES}; \
     89          do \
     90                echo $${img}; \
     91                uudecode ../images/$${img}.uu; \
     92          done)
    8393        touch html
    8494
    … …  
    124134Makefile: Makefile.in
    125135        cd ..; ${MAKE} doc/Makefile
     136
     137html-done: ${MANUAL_FILES}
     138
Note: See TracChangeset for help on using the changeset viewer.