#--------------------------------------------------------------------- ## Replaces Sorcery's default_post_remove with a TeX font one #--------------------------------------------------------------------- function default_post_remove() { . $SECTION_DIRECTORY/TEX_POST_REMOVE } #--------------------------------------------------------------------- ## Replaces Sorcery's default_final with a TeX font one #--------------------------------------------------------------------- function default_final() { . $SECTION_DIRECTORY/TEX_FINAL } #--------------------------------------------------------------------- ## Replaces Sorcery's default_post_resurrect with a TeX font one #--------------------------------------------------------------------- function default_post_resurrect() { . $SECTION_DIRECTORY/TEX_POST_RESURRECT }