remove doc gif files from Makefile

didoudiaz · Jul 8, 2021 · 9097503 · 9097503
1 parent 5385085
commit 9097503
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/src/configure b/src/configure
@@ -6633,8 +6633,8 @@ OBJ_FILES=
 LIB_FILES=
 
 INC_FILES="$PROLOG_DIALECT.h fd_to_c.h"
-DOC_FILES='???*.dvi ???*.ps ???*.pdf ???*.chm ???*.eps ???*.html ???*.gif'
-HTML_FILES='???*.html ???*.gif ???*.css'
+DOC_FILES='???*.dvi ???*.ps ???*.pdf ???*.chm ???*.eps ???*.html ???*.png'
+HTML_FILES='???*.html ???*.css ???*.svg'
 EXPL_FILES='Makefile README PROGS ??*.pl'
 EXC_FILES='Makefile README ??*.pl ??*_c.c'
 EXFD_FILES='Makefile ??*.pl ??*.fd'

diff --git a/src/configure.in b/src/configure.in
@@ -951,8 +951,8 @@ OBJ_FILES=
 LIB_FILES=
 
 INC_FILES="$PROLOG_DIALECT.h fd_to_c.h"
-DOC_FILES='???*.dvi ???*.ps ???*.pdf ???*.chm ???*.eps ???*.html ???*.gif'
-HTML_FILES='???*.html ???*.gif ???*.css'
+DOC_FILES='???*.dvi ???*.ps ???*.pdf ???*.chm ???*.eps ???*.html ???*.png'
+HTML_FILES='???*.html ???*.css ???*.svg'
 EXPL_FILES='Makefile README PROGS ??*.pl'
 EXC_FILES='Makefile README ??*.pl ??*_c.c'
 EXFD_FILES='Makefile ??*.pl ??*.fd'