From 587b79dc31748bf27f645990f846fb53f69863b3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mario=20H=C3=BCttel?= <mario.huettel@gmx.net>
Date: Fri, 15 Mar 2019 17:57:59 +0100
Subject: [PATCH] Command line: print out unprocessed parameters

---
 main.c | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/main.c b/main.c
index 5ad3900..6ea43ca 100644
--- a/main.c
+++ b/main.c
@@ -116,6 +116,7 @@ static void print_version()
 
 int main(int argc, char **argv)
 {
+	int i;
 	GError *error = NULL;
 	GOptionContext *context;
 	gchar *gds_name;
@@ -173,6 +174,11 @@ int main(int argc, char **argv)
 		/* Get gds name */
 		gds_name = argv[1];
 
+		/* Print out additional arguments as ignored */
+		for (i = 2; i < argc; i++) {
+			printf("Ignored argument: %s", argv[i]);
+		}
+
 		/* Check if PDF/TeX names are supplied. if not generate */
 		basename = g_path_get_basename(gds_name);