doc_set_property name value
Sets a document property.
Source code:
global doc_properties set doc_properties($name) $value