Add a do-nothing install-docs rule in ext-core/ when LATEX_DOCS=NO
[ghc-hetmet.git] / docs / ndp /
2007-07-03 Roman LeshchinskiyAdd ndp docs