diff options
| author | Justin M. Keyes <justinkz@gmail.com> | 2022-10-04 11:16:07 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-04 11:16:07 -0400 |
| commit | 179d2d67d802a9f10ffbc69328b7f2a21dfbde3a (patch) | |
| tree | 97bf3184a3bb1e116dba64dc08425f3914c45acd /runtime/doc/Makefile | |
| parent | 28fbdd338586e066aa3e540333513b04c54361bc (diff) | |
| parent | 03bc23de36c85b453bba6ac1338c4d51ea3508b1 (diff) | |
| download | rneovim-179d2d67d802a9f10ffbc69328b7f2a21dfbde3a.tar.gz rneovim-179d2d67d802a9f10ffbc69328b7f2a21dfbde3a.tar.bz2 rneovim-179d2d67d802a9f10ffbc69328b7f2a21dfbde3a.zip | |
Merge #20412 feat(docs): HTML generator
Diffstat (limited to 'runtime/doc/Makefile')
| -rw-r--r-- | runtime/doc/Makefile | 40 |
1 files changed, 0 insertions, 40 deletions
diff --git a/runtime/doc/Makefile b/runtime/doc/Makefile deleted file mode 100644 index 18d32c0820..0000000000 --- a/runtime/doc/Makefile +++ /dev/null @@ -1,40 +0,0 @@ -# -# Makefile for the Vim documentation on Unix -# -# If you get "don't know how to make scratch", first run make in the source -# directory. Or remove the include below. - -AWK = awk - -DOCS = $(wildcard *.txt) -HTMLS = $(DOCS:.txt=.html) - -.SUFFIXES: -.SUFFIXES: .c .o .txt .html - -# Awk version of .txt to .html conversion. -html: noerrors vimindex.html $(HTMLS) - @if test -f errors.log; then cat errors.log; fi - -noerrors: - -rm -f errors.log - -$(HTMLS): tags.ref - -.txt.html: - $(AWK) -f makehtml.awk $< >$@ - -# index.html is the starting point for HTML, but for the help files it is -# help.txt. Therefore use vimindex.html for index.txt. -index.html: help.txt - $(AWK) -f makehtml.awk help.txt >index.html - -vimindex.html: index.txt - $(AWK) -f makehtml.awk index.txt >vimindex.html - -tags.ref tags.html: tags - $(AWK) -f maketags.awk tags >tags.html - -clean: - -rm -f *.html tags.ref $(HTMLS) errors.log tags - |