diff options
Diffstat (limited to 'src/doc')
| -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 69ea475ed..5f378bc85 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:: |
