From 6764587baf05a7abdc1d0b49c57ba15aa24d09ea Mon Sep 17 00:00:00 2001 From: debghs <145260557+debghs@users.noreply.github.com> Date: Fri, 20 Oct 2023 17:17:59 +0530 Subject: [PATCH] ppmtopgm: add page (#11094) * ppmtopgm: add page * Update pages/common/ppmtopgm.md Co-authored-by: Juri Dispan * Update pages/common/ppmtopgm.md Co-authored-by: Sebastiaan Speck <12570668+sebastiaanspeck@users.noreply.github.com> --------- Co-authored-by: Juri Dispan Co-authored-by: Sebastiaan Speck <12570668+sebastiaanspeck@users.noreply.github.com> --- pages/common/ppmtopgm.md | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 pages/common/ppmtopgm.md diff --git a/pages/common/ppmtopgm.md b/pages/common/ppmtopgm.md new file mode 100644 index 000000000..8c7054dc1 --- /dev/null +++ b/pages/common/ppmtopgm.md @@ -0,0 +1,12 @@ +# ppmtopgm + +> Convert a PPM image to a PGM image. +> More information: . + +- Convert PPM image to PGM image: + +`ppmtopgm {{path/to/file.ppm}} > {{path/to/file.pgm}}` + +- Display version: + +`ppmtopgm -version`