Changeset f6a7d73 in report


Ignore:
Timestamp:
Jun 10, 2015 1:49:20 PM (3 years ago)
Author:
Simon Marlow <marlowsd@…>
Branches:
master
Parents:
c7e7786 (diff), 69337bc (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.
Message:

Merge pull request #1 from hvr/pr-buildfix

Fix build of Haskell Report

Files:
5 edited

Legend:

Unmodified
Added
Removed
  • report/Makefile

    rc7e7786 rf6a7d73  
    163163
    164164clean:
    165         $(RM) ${HT_TEXS} ht/*.html ht/html/* ht/*.htm ht/hask*.png ht/*.log ht/*.tmp \
    166                 ht/*.xref ht/classes.eps ht/*.css ht/*.idx ht/*.aux ht/*.dvi \
     165        $(RM) ${HT_TEXS} ht/*.html ht/html/* ht/*.htm ht/hask*.png ht/*.lg ht/*.log ht/*.tmp \
     166                ht/*.xref ht/classes.eps ht/*.css ht/*.idx ht/*.aux ht/*.idv ht/*.dvi \
    167167                ht/*.4ct ht/*.4tc ht/*.bbl ht/*.blg
    168         $(RM) *.dvi *.log *.aux *.ilg *.blg *.toc *.bbl *.idx *.tmp *.out \
     168        $(RM) *.dvi *.log *.aux *.ilg *.blg *.toc *.bbl *.idx *.ind *.tmp *.out \
    169169                haskell.tex preface.tex $(PARTS_NO_PREFACE) \
    170170                haskell.tex haskell.ps haskell.pdf *.o lex.yy.c haskell-report-html/* \
     
    205205
    206206ht/libs/%.tex: libs/%.tex
     207        -mkdir ht/libs
    207208        $(CP) $< $@
    208209
  • report/basic.verb

    rc7e7786 rf6a7d73  
    4141\indextycon{Bool}
    4242\indextt{False}\indextt{True}
    43 \index{""|""|@@{\tt  {\char'174}{\char'174}}}
     43\index{\vert\vert@@{\tt  {\char'174}{\char'174}}}
    4444\index{&&@@{\tt  \&\&}}
    4545\indextt{not}
  • report/decls.verb

    rc7e7786 rf6a7d73  
    14651465\indextt{notElem}
    14661466\index{&&@@{\tt  \&\&}}
    1467 \index{""|""|@@{\tt  {\char'174}{\char'174}}}
     1467\index{\vert\vert@@{\tt  {\char'174}{\char'174}}}
    14681468\indextt{>>}
    14691469\indextt{>>=}
  • report/haskell.verb

    rc7e7786 rf6a7d73  
    22\documentclass[twoside,10pt]{book}
    33
     4\usepackage[T1]{fontenc}
    45\usepackage{times}
    56\usepackage{makeidx}
     
    78\usepackage{url}
    89\usepackage[dvipsnames,usenames]{color}
    9 \usepackage[pdftex,bookmarks=true]{hyperref}
     10\usepackage[bookmarks=true]{hyperref}
    1011
    1112% allegedly produces nicer spacing, see
  • tools/splitAndIndexPgm

    rc7e7786 rf6a7d73  
    115115            # there are a few "raw" chars that need fiddling, too...
    116116            #
    117             $raw =~ s/\|/""\|/g;
    118117            $raw =~ s/!/""!/g;
    119118            $raw =~ s/\@/""\@\@/g;
    120119            $raw =~ s/\\/\\\\/g;
     120            $raw =~ s/\|/\\vert/g;
    121121
    122122            print "\\index\{$raw\@\@$processed\}%\n";
Note: See TracChangeset for help on using the changeset viewer.