diff options
Diffstat (limited to 'docs/core-spec/Makefile')
| -rw-r--r-- | docs/core-spec/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/core-spec/Makefile b/docs/core-spec/Makefile index 402f9dbe4e..de0cac6e24 100644 --- a/docs/core-spec/Makefile +++ b/docs/core-spec/Makefile @@ -15,4 +15,4 @@ $(OTT_TEX): $(OTT_FILES) .PHONY: clean clean: - rm -f $(TARGET).pdf $(TARGET).tex $(OTT_TEX) *.aux *.fdb_latexmk *.log + rm -f $(TARGET).pdf $(TARGET).tex $(OTT_TEX) *.aux *.fdb_latexmk *.log *.fls |