diff --git a/runtime/doc/Makefile b/runtime/doc/Makefile index 94bf805fe1a42a7b0ddd9e8477c392ac9f023499..0e66062edc89a097bf071f415a636c7b19eb3ba3 100644 --- a/runtime/doc/Makefile +++ b/runtime/doc/Makefile @@ -68,7 +68,6 @@ DOCS = \ os_vms.txt \ os_win32.txt \ pattern.txt \ - pi_expl.txt \ pi_gzip.txt \ pi_netrw.txt \ pi_spec.txt \ @@ -189,7 +188,6 @@ HTMLS = \ os_vms.html \ os_win32.html \ pattern.html \ - pi_expl.html \ pi_gzip.html \ pi_netrw.html \ pi_spec.html \