EXTRA_DIST = display.h getOption.h mbk_tree.h \
             ocr.h ocrAstar.h ocrConnectorUtil.h \
             ocrGlobalRouting.h ocrInitDataBase.h ocrMst.h \
             ocrNpoints.h ocrPath.h ocrSignalUtil.h \
             ocrToPhFig.h ocrUtil.h ocrWPlaneLabeling.h \
             ocrWRouting.h ocrWRoutingDataBase.h ocrWRoutingUtil.h \
             ocrWSegLabeling.h ocrWeightedTree.h ocrWindow.h 
