Lines Matching refs:images
177 - [Images](https://gitlab.com/petsc/images) contains images that are used in the PETSc documentatio…
194 …(especially because they persist in the integration branches' histories). Thus we do not put images
199 `make images` in the `doc/` directory.
200 Any new images required must be added to the currently-used branch of this repository.
205 - Avoid large files and large numbers of images.
208 ### Adding new images
210 - Decide where in `doc/images` a new image should go. Use the structure of the `doc/` tree as a gui…
211 - Create a Merge Request to the currently-used branch of the upstream images repository, adding thi…
214 It may be helpful to place working copies of the new image(s) in your local `doc/images`
215 while iterating on documentation; don't forget to update the upstream images repository.
217 ### Removing, renaming, moving, or updating images
219 Do not directly move, rename, or update images in the images repository.
223 add it to the top-level list of files to delete in the images repository.
227 ### Cleaning up the images repository (maintainers only)