From 6d2072f198b17f76a8888a733b4d09247c3de6de Mon Sep 17 00:00:00 2001 From: Dhanya Maliakal Date: Thu, 24 Aug 2017 18:41:56 +0200 Subject: [PATCH] removed unnecessary print in makefile for manual --- manual/manual-api/Makefile | 1 - 1 file changed, 1 deletion(-) diff --git a/manual/manual-api/Makefile b/manual/manual-api/Makefile index 9dea5721b..d97793ea6 100644 --- a/manual/manual-api/Makefile +++ b/manual/manual-api/Makefile @@ -8,7 +8,6 @@ DESTDIR ?= ../docs all: docs detUser detReceiver - echo "in useeeeeeeeeers ****************************************************************************************************" #all: docs docs: createdocs docspdf docshtml removedocs