From d933ce40bbe456861f3509bdebef7233d28cc139 Mon Sep 17 00:00:00 2001
From: Adam Wujek <adam.wujek@cern.ch>
Date: Thu, 20 Aug 2015 17:31:00 +0200
Subject: [PATCH] doc: remove making image directory

It looks like it is a leftover from the past

Signed-off-by: Adam Wujek <adam.wujek@cern.ch>
---
 doc/Makefile | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/doc/Makefile b/doc/Makefile
index 06cdeb907..5ba208606 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -39,15 +39,12 @@ RELEASE=$(shell git describe --always --dirty)
 	$(MAKEINFO) --no-headers $< > $@
 
 ##############################################
-.PHONY: all images check terse clean install
+.PHONY: all check terse clean install
 .INTERMEDIATE: $(TEXI)
 
-all: images $(ALL)
+all: $(ALL)
 	$(MAKE) terse
 
-images::
-	if [ -d images ]; then $(MAKE) -C images || exit 1; fi
-
 check: _err.ps
 	gs -sDEVICE=linux -r320x200x16 $<
 
-- 
GitLab