aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorSergey Poznyakoff <gray@gnu.org>2023-10-17 16:09:24 +0000
committerSergey Poznyakoff <gray@gnu.org>2023-10-17 16:17:33 +0000
commitd0594b7d1233a383d69988e4694779401f7af613 (patch)
treeff6625d53a44007078a2b7d07529543a4aba8d94 /.gitignore
parent5231f4d0be181e8d24b7752b3f965c2bf69824fc (diff)
downloaddico-master.tar.gz
dico-master.tar.bz2
Don't install pp-setup if alternative preprocessor is requested.HEADmaster
* configure.boot (DEFAULT_PP_SETUP): New variable. * dicod/Makefile.am (inc_DATA: Use DEFAULT_PP_SETUP.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions

Return to:

Send suggestions and report system problems to the System administrator.