From 28ee469c90b9673cce21c1ea4e34d5dc3406ad56 Mon Sep 17 00:00:00 2001
From: Jonas Bernoulli
Date: Tue, 18 Apr 2017 18:18:31 +0200
Subject: Add file contrib/mmm/.nosearch to help feature extraction tools

This change is intended as an intermediate step toward the removal
of the bundled copy of `mmm' package.  Even with this change, PG
continues to use the bundled version, unless `mmm-auto' is already
loaded at the time PG first loads `proof-auxmodes'.

The benefit of this change is that tools that extract the features
provided and required by a package, such as those used to maintain
the Emacsmirror, will no longer be tricked into believing that
`mmm' is part of PG.

Eventually the bundled `mmm' copy should be removed completely, as I
suggested in #171, and as was already on the roadmap before I did so.
---
 contrib/mmm/.nosearch | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 contrib/mmm/.nosearch

diff --git a/contrib/mmm/.nosearch b/contrib/mmm/.nosearch
new file mode 100644
index 00000000..e69de29b
-- 
cgit v1.2.3