batch_edit.sed

# Plan for future changes on master branch
# ----------------------------------------------------------------------------
# None of the lists below can have white space or a dollar sign in an entry.
#
# list of directories that are added to the repository by batch_edit.sh
# new_directories='
# '
# list of files that are deleted by batch_edit.sh
# delete_files='
# '
# List of files that are not edited by the sed commands in this file
# (with the possible exception of the extra_seds commands).
# The files in bin/devel.sh ignore_files are automatically in this list.
# ignore_files='
# '
# list of files and or directories that are moved to new names
# move_paths='
# '
# list of sed commands that map old file and directory names to new names.
# The characters @s, @d, @n get converted to a space, dollar sign, new line.
# move_seds='
# '
# list of files that get edited by the extra_seds command
# extra_files='
# '
# list of sed commands that are applied to the extra files,
# after the other sed commands in this file.
# The characters @s, @d, @n get converted to a space, dollar sign, new line.
# extra_seds='
# '
# ----------------------------------------------------------------------------
# Put other sed commands below here and without # at start of line
s|:ref:`dock_dismod_at.sh@Building Images@Dockerfile`|Dockerfile|
s|:ref:`dock_dismod_at.sh@Building Images@dismod_at.base`|dismod_at.base|
s|:ref:`dock_dismod_at.sh@Building Images@dismod_at.image`|dismod_at.image|
s|:ref:`dock_dismod_at.sh@Building Images@dismod_at.mixed`|dismod_at.mixed|
s|:ref:`dock_dismod_at.sh@Building Images@at_cascade.image`|at_cascade.image|
s|:ref:`dock_dismod_at.sh@Building Images`|Building Images|