Yasuhiro Kimura 6a1cfd2b6f editors/with-editor: Add PDF option and change DOCS option ... * Add new option PDF. If it is enabled PDF document is built and installed. * Change DOCS option so HTML document is built and installed if it is enabled.		2022-02-21 08:30:15 +09:00
..
distinfo	editors/with-editor: Update to 3.2.0	2022-02-12 08:20:51 +09:00
Makefile	editors/with-editor: Add PDF option and change DOCS option	2022-02-21 08:30:15 +09:00
pkg-descr