Create variably named files as an additional make step.
treef00ec2e286b5dd3201fb4066ec38080dbce1c7a5
-rw-r--r-- 535 .gitattributes
drwxr-xr-x - .github
-rw-r--r-- 649 .gitignore
-rw-r--r-- 5096 CODE_OF_CONDUCT.md
-rw-r--r-- 936 CONTRIBUTING.md
-rw-r--r-- 35149 LICENSE
-rw-r--r-- 25295 Makefile
-rw-r--r-- 9409 README.md
-rw-r--r-- 2220 Vagrantfile
-rw-r--r-- 4278 azure-pipelines.yml
-rwxr-xr-x 1117 build_docs.sh
drwxr-xr-x - docs
drwxr-xr-x - lib
drwxr-xr-x - make
drwxr-xr-x - src
drwxr-xr-x - unified_targets