From 471ab314150d6b15387a8b145ca4f547197ede8f Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Wed, 1 Nov 2017 14:06:13 -0700 Subject: [PATCH] omit Makefile in publish --- pollen/private/file-utils.rkt | 2 +- pollen/private/ts.rktd | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/pollen/private/file-utils.rkt b/pollen/private/file-utils.rkt index 9ee3907..845c5df 100644 --- a/pollen/private/file-utils.rkt +++ b/pollen/private/file-utils.rkt @@ -301,7 +301,7 @@ (define (special-path? path) - (define special-paths (append default-cache-names '("compiled" ".git" ".gitignore" ".hg" ".svn" "CVS"))) + (define special-paths (append default-cache-names '("compiled" ".git" ".gitignore" ".hg" ".svn" "CVS" "Makefile"))) (and (member (path->string (last (explode-path path))) special-paths) #t)) (module-test-internal diff --git a/pollen/private/ts.rktd b/pollen/private/ts.rktd index 95b8874..60085d3 100644 --- a/pollen/private/ts.rktd +++ b/pollen/private/ts.rktd @@ -1 +1 @@ -1509468257 +1509570373