Synced links between html doc and latex doc.