Should 'fonts-DSEG_v046' be added to Github repo in a folder named fonts?

[OneOfTheInfiniteMonkeys]

Hi, been using this font since 2015 for one of our STEM (Science, Technology, Engineering & Mathematics) support projects with schools. To encourage the next generation of engineers, using Raspberry Pi's.

I looked up the latest version to include in a tutorial. Having downloaded the GitHub zip file (148ec74) and unzipped the contents on a Raspberry Pi web server for testing, found sample.html did not display the fonts.

Looking at the HTML code, I noticed the font files are not part of the GitHub distribution.
I downloaded the font files, fonts-DSGE_v046, and placed them in a sub folder named 'fonts'. 'sample.html' works nicely.

Should 'fonts-DSEG_v046' be added in a folder to Github repo named 'fonts'?

Many thanks for the fonts, Engineers, students, parents and teachers love them.

Configuration
Unzipped 148ec74 placed into /var/www/html on a Raspberry Pi 4, 4Gb running Pi Os and Ligthtpd, fully patched as of 18 Jun 2020.

Observed behaviour
Fonts are not displayed when requesting sample.html via a browser

Anticipated behaviour
Fonts rendered when requesting sample.html via a browser

Proposed solution
Add contents of fonts-DSEG_v046 to a folder named fonts to the GitHub repo

OneOfTheInfinteMonkeys

[keshikan]

Hi, Thank you for your information.

Should 'fonts-DSEG_v046' be added in a folder to Github repo named 'fonts'?

Yes, you are absolutely right.

The GitHub zip file(148ec74) contains only source code, so you need to run build script to get font files. Also, the release fonts-DSEG_v046 contains only font files.

The reason is that I think it's simpler file structure not to include the binary in the source code.
And, I've accepted this PR #7