summaryrefslogtreecommitdiff
path: root/support/dktools/dkct.h
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2020-09-20 03:03:26 +0000
committerNorbert Preining <norbert@preining.info>2020-09-20 03:03:26 +0000
commit1f457376b478257b88d4a857f5ec1b6155442dd7 (patch)
tree2a06a60551dea362cf8cb0cb0ba66c78608717c4 /support/dktools/dkct.h
parentac690ca29ad5bf8a5203a65fd6252f7b564f4727 (diff)
CTAN sync 202009200303
Diffstat (limited to 'support/dktools/dkct.h')
-rw-r--r--support/dktools/dkct.h5
1 files changed, 5 insertions, 0 deletions
diff --git a/support/dktools/dkct.h b/support/dktools/dkct.h
index 890048290b..45dc39497b 100644
--- a/support/dktools/dkct.h
+++ b/support/dktools/dkct.h
@@ -1,3 +1,7 @@
+/*
+Copyright 2011-2020, Dirk Krause. All rights reserved.
+SPDX-License-Identifier: BSD-3-Clause
+*/
#ifndef DKCT_H_INCLUDED
#define DKCT_H_INCLUDED 1
@@ -27,6 +31,7 @@ typedef struct {
int win; /**< Flag: Add support for Windows wide chars. */
int port; /**< Flag: Produce portable output (implies win). */
int tip; /**< Flag: trace include printed. */
+ int nowarn; /**< Flag: Do not write warning at start of file. */
char spls; /**< Splint special character. */
} DKCT_OPTION_SET;