diff options
| -rw-r--r-- | sandbox/cben/make/Makefile.docutils | 2 | ||||
| -rw-r--r-- | sandbox/cben/make/Makefile.docutils.txt | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/sandbox/cben/make/Makefile.docutils b/sandbox/cben/make/Makefile.docutils index 452bcfc68..906ed7f57 100644 --- a/sandbox/cben/make/Makefile.docutils +++ b/sandbox/cben/make/Makefile.docutils @@ -294,6 +294,8 @@ $(docutils.)PEPTOOL.FLAGS += $($(docutils.)FLAGS) # When docutils config files change, it usually affects docutils' so it should # be rebuilt. So we add them as dependencies. +# +# .. note:: Deletion of a config file will *not* cause a rebuild. # Figure out the default config files from the environment: DOCUTILSCONFIG ?= /etc/docutils.conf:./docutils.conf:$(HOME)/.docutils diff --git a/sandbox/cben/make/Makefile.docutils.txt b/sandbox/cben/make/Makefile.docutils.txt index cc3d24279..048df0588 100644 --- a/sandbox/cben/make/Makefile.docutils.txt +++ b/sandbox/cben/make/Makefile.docutils.txt @@ -383,6 +383,8 @@ Extra dependencies When docutils config files change, it usually affects docutils' so it should be rebuilt. So we add them as dependencies. +.. note:: Deletion of a config file will *not* cause a rebuild. + Figure out the default config files from the environment: :: |