diff options
| -rw-r--r-- | lispref/Makefile.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lispref/Makefile.in b/lispref/Makefile.in index 8f5ccb57e15..79be5fc39af 100644 --- a/lispref/Makefile.in +++ b/lispref/Makefile.in | |||
| @@ -115,7 +115,6 @@ clean: | |||
| 115 | rm -f *.toc *.aux *.log *.cp *.cps *.fn *.fns *.tp *.tps \ | 115 | rm -f *.toc *.aux *.log *.cp *.cps *.fn *.fns *.tp *.tps \ |
| 116 | *.vr *.vrs *.pg *.pgs *.ky *.kys | 116 | *.vr *.vrs *.pg *.pgs *.ky *.kys |
| 117 | rm -f make.out core | 117 | rm -f make.out core |
| 118 | rm -f index.texi | ||
| 119 | 118 | ||
| 120 | distclean: clean | 119 | distclean: clean |
| 121 | 120 | ||