Update default types folder name

kgryte · kgryte · commit 073d11e9671d · 2019-01-15T01:28:16.000-08:00
diff --git a/Makefile b/Makefile
@@ -141,7 +141,7 @@ SCRIPTS_FOLDER ?= scripts
 TMP_FOLDER ?= tmp
 
 # Define the folder name convention for type definition files:
-TYPES_FOLDER ?= types
+TYPES_FOLDER ?= $(DOCUMENTATION_FOLDER)/types
 
 # Define filename extension conventions (keep in alphabetical order):
 AWK_FILENAME_EXT ?= awk
