mozilla/rust — pull request #13402 by lifthrasiir (2014-04-08 18:33:54+00:00)
Title: rustdoc: Prune the paths that do not appear in the index.

`allPaths` entries in `search-index.js` are only meaningful when there are `searchIndex` items that refer to that path. Pruning unused paths has a substantial gain in the search index size:

```
1719473 search-index-old.js
1503299 search-index.js (13% gain)

262711 search-index-old.js.gz
214205 search-index.js.gz (18.5% gain)
```

...where `*.gz` files are gzipped with `gzip -9`. This commit also cleans the `initSearch` JavaScript routine a bit.