diff options
Diffstat (limited to 'Documentation/include.mk')
-rw-r--r-- | Documentation/include.mk | 3 |
1 files changed, 0 insertions, 3 deletions
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: % |