diff options
Diffstat (limited to 'Documentation')
-rw-r--r-- | Documentation/.gitignore | 2 | ||||
-rw-r--r-- | Documentation/include.mk | 3 |
2 files changed, 1 insertions, 4 deletions
diff --git a/Documentation/.gitignore b/Documentation/.gitignore index f26169ac..92510039 100644 --- a/Documentation/.gitignore +++ b/Documentation/.gitignore @@ -1,4 +1,4 @@ /public-inbox-*.txt /public-inbox.cgi.txt /standards.txt -/.x +/.*.txt diff --git a/Documentation/include.mk b/Documentation/include.mk index 41de0a72..8c5f3ca8 100644 --- a/Documentation/include.mk +++ b/Documentation/include.mk @@ -89,9 +89,6 @@ check :: NEWS .NEWS.atom.check NEWS.html html: $(docs_html) -Documentation/.x: - mkdir -p $@ - doc: $(docs) %.gz: % |