Go to most recent revision | Details | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
30 | jermar | 1 | \relax |
2 | \ifx\hyper@anchor\@undefined |
||
3 | \global \let \oldcontentsline\contentsline |
||
4 | \gdef \contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}} |
||
5 | \global \let \oldnewlabel\newlabel |
||
6 | \gdef \newlabel#1#2{\newlabelxx{#1}#2} |
||
7 | \gdef \newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}} |
||
8 | \AtEndDocument{\let \contentsline\oldcontentsline |
||
9 | \let \newlabel\oldnewlabel} |
||
10 | \else |
||
11 | \global \let \hyper@last\relax |
||
12 | \fi |
||
13 | |||
14 | \@writefile{toc}{\contentsline {chapter}{Contents}{2}{section*.1}} |
||
15 | \@input{intro/intro.aux} |
||
16 | \@input{project/project.aux} |
||
17 | \@input{developers/developers.aux} |
||
18 | \@input{tools/tools.aux} |
||
19 | \bibcite{helenos}{1} |
||
20 | \bibcite{helenos-spec}{2} |
||
21 | \@writefile{toc}{\contentsline {chapter}{References}{15}{chapter*.3}} |