#! /bin/bash 
# Last edited on 2019-05-27 17:58:14 by stolfilocal

# Reads a list of font names from stdin.
# Writes to stdout an ".inc" file that declares 
# an array {font_list} with those names,
# and a constant {font_list_N} with the number of fonts.

fnames=( `cat` )
nf=${#fnames[@]}

printf "// created by make_font_list_inc.sh - do not edit\n"
printf "\n"
printf "#declare font_list_N = ${nf};\n"
printf "\n"
printf "#declare font_list = array[font_list_N] {"
sep=""
for ff in "${fnames[@]}" ; do
  printf "%s\n  \"%s\"" "${sep}" "${ff}"
  sep=","
done
printf "\n}\n"