Lines Matching refs:MAN_EXTENSION
929 # The MAN_EXTENSION tag determines the extension that is added to932 MAN_EXTENSION = .3