diff options
-rw-r--r-- | src/Makefile-files | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Makefile-files b/src/Makefile-files index d304652..d20c1a5 100644 --- a/src/Makefile-files +++ b/src/Makefile-files @@ -40,7 +40,7 @@ all-local-nbblib-pydoc: all-local-nbblib mod="nbblib.$$(basename "$$modfile" .py)"; \ test "$$mod" = "nbblib.__init__" && mod="nbblib"; \ htmlfile="pydoc/$${mod}.html"; \ - ls -l --full-time "$$htmlfile" "$$modfile"; \ + : ls -l --full-time "$$htmlfile" "$$modfile"; \ : "Darn. Better let MAKE calculate the deps, perhaps?" ; \ rebuild="no"; \ if test -f "$$htmlfile"; then \ |