diff options
| author | wl <wl> | 2013-02-10 08:41:08 +0000 |
|---|---|---|
| committer | wl <wl> | 2013-02-10 08:41:08 +0000 |
| commit | 1a6c61cff43373fd047f3945c170316bf1eb2476 (patch) | |
| tree | 6f78df218bf0bf68f02c2c95eaf5564fe0f6e656 /src/devices/grops/psrm.cpp | |
| parent | 5c36fcafe5d2e65f0cc16b60d03b56925af9c4b7 (diff) | |
| download | groff-1a6c61cff43373fd047f3945c170316bf1eb2476.tar.gz | |
* src/devices/grops/ps.h (resource_type): Add RESOURCE_FONTSET.
Diffstat (limited to 'src/devices/grops/psrm.cpp')
| -rw-r--r-- | src/devices/grops/psrm.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/devices/grops/psrm.cpp b/src/devices/grops/psrm.cpp index 52c62422..a3787cb0 100644 --- a/src/devices/grops/psrm.cpp +++ b/src/devices/grops/psrm.cpp @@ -86,6 +86,7 @@ const char *extension_table[] = { const int NEXTENSIONS = sizeof(extension_table)/sizeof(extension_table[0]); +// this must stay in sync with `resource_type' in `ps.h' const char *resource_table[] = { "font", "fontset", |