diff options
| author | Ben Kaduk <kaduk@mit.edu> | 2012-12-10 18:13:52 -0500 |
|---|---|---|
| committer | Ben Kaduk <kaduk@mit.edu> | 2012-12-11 16:34:57 -0500 |
| commit | 3f7394c1440f7526bc6f008f841b438d84411f3d (patch) | |
| tree | edbf995204cee79fba285b362e350ea831b8bbc3 /src/doc/Makefile.in | |
| parent | d3c5450ddf0b20855e86dab41735d56c6860156b (diff) | |
| download | krb5-3f7394c1440f7526bc6f008f841b438d84411f3d.tar.gz krb5-3f7394c1440f7526bc6f008f841b438d84411f3d.tar.xz krb5-3f7394c1440f7526bc6f008f841b438d84411f3d.zip | |
Don't use $(RM) in src/doc/Makefile.in
We allow these rules to be used in an unconfigured tree, and some
makes do not supply a value for RM by default.
ticket: 7492 (new)
subject: Doc build in unconfigured tree broken on some platforms
tags: pullup
target_version: 1.11
Diffstat (limited to 'src/doc/Makefile.in')
| -rw-r--r-- | src/doc/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/doc/Makefile.in b/src/doc/Makefile.in index 69ea475ed2..5f378bc850 100644 --- a/src/doc/Makefile.in +++ b/src/doc/Makefile.in @@ -117,7 +117,7 @@ paths.py: version.py: $(docsrc)/version.py $(docsrc)/version.py: $(top_srcdir)/patchlevel.h $(srcdir)/version.py.in - $(RM) $@ + rm -f $@ $(CC) -E -I$(top_srcdir) - < $(srcdir)/version.py.in > $@ clean:: |