deleted gif

latex3 · Feb 6, 2021 · ee60759 · ee60759
1 parent 08c5f6e
commit ee60759
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/build.lua b/build.lua
@@ -3,15 +3,13 @@
 module = "hyperref"
 
 docfiledir   = "doc"
-docfiles     = {"paper.pdf", "slides.pdf", "*.gif", "*.html", "*.css"}
+docfiles     = {"paper.pdf", "slides.pdf", "*.html", "*.css"}
 textfiles    = {"*.md", "*.txt"}
 installfiles = {"*.def", "*.sty", "*.cfg"}
 tdslocations = {
   "doc/latex/hyperref/ChangeLog.txt",
   "doc/latex/hyperref/README.md",
   "doc/latex/hyperref/backref.pdf",
-  "doc/latex/hyperref/cmmi10-22.gif",
-  "doc/latex/hyperref/cmsy10-21.gif",
   "doc/latex/hyperref/hyperref.pdf",
   "doc/latex/hyperref/manifest.txt",
   "doc/latex/hyperref/hyperref-doc.css",