- <key name="cic_dbm">$(per_user_settings.dbm_dir)/cic_db</key>
- <key name="nuprl_dbm">$(per_user_settings.dbm_dir)/nuprl_db</key>
- <key name="rdf_dbm">$(per_user_settings.dbm_dir)/rdf_db</key>
- <key name="xsl_dbm">$(per_user_settings.dbm_dir)/xsl_db</key>
+ <key name="cic_dbm">$(user_settings.dbm_dir)/cic_db</key>
+ <key name="nuprl_dbm">$(user_settings.dbm_dir)/nuprl_db</key>
+ <key name="rdf_dbm">$(user_settings.dbm_dir)/rdf_db</key>
+ <key name="xsl_dbm">$(user_settings.dbm_dir)/xsl_db</key>