diff options
author | G. Branden Robinson <g.branden.robinson@gmail.com> | 2021-06-05 05:17:30 +1000 |
---|---|---|
committer | G. Branden Robinson <g.branden.robinson@gmail.com> | 2021-06-05 05:39:20 +1000 |
commit | c069f291b0c910513c28b615eaec81e8a394b9e2 (patch) | |
tree | 65b8927973c158f7095b2971ab2e51e7751b4aad /.gitignore | |
parent | b7d95527d5c518696d311723b01e927f5d98b9a7 (diff) | |
download | groff-git-c069f291b0c910513c28b615eaec81e8a394b9e2.tar.gz |
Drop "groff_opts_{no,with}_arg.txt".
Eliminate "groff_opts_no_arg.txt" and "groff_opts_with_arg.txt" files
from distribution. They are not needed by any live code in the tree;
possibly only groffer ever used them.
* src/roff/groff/groff.am (GROFF_OPTS_OUTPUT, groffoptsdir,
groffopts_DATA): Delete variables.
(MOSTLYCLEANFILES): Stop adding to target.
(groff_opts.tmp, groff_opts_no_arg.txt, groff_opts_with_arg.txt):
Delete targets.
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/.gitignore b/.gitignore index 8fa39b66f..98e2397bd 100644 --- a/.gitignore +++ b/.gitignore @@ -51,10 +51,6 @@ stamp-* /grn /grodvi /groff -/groff_opts.tmp -/groff_opts_no_arg.txt -/groff_opts_with_arg.txt -/groffer /grog /grolbp /grolj4 |