@@ -554,7 +554,7 @@ <h2 id="implementation">Source code</h2>
554
554
< p > The source code for the experimental HTML5 fork of Tidy can be found at
555
555
< a href ="https://github.com/w3c/tidy-html5 "> https://github.com/w3c/tidy-html5</ a > .
556
556
557
- < h2 id =building -cli> Building the tidy command-line tool</ h2 >
557
+ < h2 id =build -cli> Building the tidy command-line tool</ h2 >
558
558
< p > For Linux/BSD/OSX platforms, you can build and install the
559
559
< code > tidy</ code > command-line tool from the source code using the
560
560
following steps.</ p >
@@ -567,14 +567,14 @@ <h2 id=building-cli>Building the tidy command-line tool</h2>
567
567
< p > Note that you will either need to run < code > make install</ code > as root,
568
568
or with < code > sudo make install</ code > .</ p >
569
569
570
- < h2 id =building -library> Building the libtidy shared library</ h2 >
570
+ < h2 id =build -library> Building the libtidy shared library</ h2 >
571
571
< p > For Linux/BSD/OSX platforms, you can build and install the
572
572
< code > tidylib</ code > shared library (for use in building other
573
573
applications) from the source code using the following steps.</ p >
574
574
575
575
< ol >
576
- < li > sh build/gnuauto/setup.sh && ./configure && make</ li >
577
- < li > make install</ li >
576
+ < li > < code > sh build/gnuauto/setup.sh && ./configure && make</ code > </ li >
577
+ < li > < code > make install</ code > </ li >
578
578
</ ol >
579
579
580
580
< p > Note that you will either need to run < code > make install</ code > as root,
@@ -587,14 +587,14 @@ <h2 id=acks>Acknowledgements</h2>
587
587
original version of Tidy.
588
588
589
589
< div id =toc-button style ="">
590
- < a class =button href ="
590
+ < a class =button href ="# " onclick ="
591
591
javascript:document.getElementById('toc').className = 'show';
592
592
document.getElementById('toc-button').className = 'hide';
593
593
document.getElementById('quickref-button').className = 'hide'; "
594
594
> Show TOC</ a >
595
595
</ div >
596
596
< div id =toc class =hide >
597
- < a class =button href ="
597
+ < a class =button href ="# " onclick ="
598
598
javascript:document.getElementById('toc').className = 'hide';
599
599
document.getElementById('toc-button').className = 'show';
600
600
document.getElementById('quickref-button').className = 'show'; "
0 commit comments