Allan Jardine ea9e926b53 Dev: Output a warning if html tidy is not installed ...

- I just updated my PHP and HTML Tidy was not installed which resulted
  in the examples in the dist repo all being rewritten unfortunately.
  This should stop that happening again.

2015-09-25 10:08:52 +01:00

..

api.html

Dev: Output a warning if html tidy is not installed

2015-09-25 10:08:52 +01:00

dom_sort.html

Dev: Output a warning if html tidy is not installed

2015-09-25 10:08:52 +01:00

index.html

Dev: Output a warning if html tidy is not installed

2015-09-25 10:08:52 +01:00

range_filtering.html

Dev: Output a warning if html tidy is not installed

2015-09-25 10:08:52 +01:00

sorting_auto.html

Dev: Output a warning if html tidy is not installed

2015-09-25 10:08:52 +01:00

sorting_manual.html

Dev: Output a warning if html tidy is not installed

2015-09-25 10:08:52 +01:00