debian doc update

This commit is contained in:
zzz
2018-08-23 22:16:50 +00:00
parent a45f5374e4
commit ff551b19fb

View File

@ -76,6 +76,10 @@ Current Runtime Dependencies
We depend on libgmp-dev for both the build and the runtime, but perhaps only the
libgmp10 package is required for runtime? To be researched.
* famfamfam-flag-png
Country flags (all except precise)
In precise and non-Debian builds we bundle the flags.
Bundled code, NOT current dependencies
--------------------------------------