/mergect

jpug-docでv12 -> v13の過程でcatalog.sgmlに入った大きな変更をマージするスクリプト