Lines Matching refs:Misc
52 # Look first for a Misc/NEWS file (building from a source release tarball
53 # or old repo) and use that, otherwise look for a Misc/NEWS.d directory
55 @if [ -f ../Misc/NEWS ] ; then \
56 echo "Using existing Misc/NEWS file"; \
57 cp ../Misc/NEWS build/NEWS; \
59 if [ -d ../Misc/NEWS.d ]; then \
60 echo "Building NEWS from Misc/NEWS.d with blurb"; \
63 echo "Neither Misc/NEWS.d nor Misc/NEWS found; cannot build docs"; \
221 $(SPHINXLINT) --enable default-role ../Misc/NEWS.d/next/