辞海

释义：xiào/jiào líng/lǐng/lìng
1.汉代掌管修建﹑修理宫室等建筑物的官名。三国魏和晋也曾一度沿用其称。