diff options
| -rw-r--r-- | docs-xml/Makefile.settings.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/docs-xml/Makefile.settings.in b/docs-xml/Makefile.settings.in index 3aff7271cf..8292c61e99 100644 --- a/docs-xml/Makefile.settings.in +++ b/docs-xml/Makefile.settings.in @@ -12,7 +12,6 @@ HTML2TEXT = @HTML2TEXT@ DB2TEXI = @DB2TEXI@ MAKEINFO = @MAKEINFO@ PLUCKERBUILD = @PLUCKERBUILD@ -COPY_IMAGES = ./scripts/copy-images.sh THUMBPDF = @THUMBPDF@ PDFLATEX = @PDFLATEX@ --file-line-error-style LATEX = @LATEX@ --file-line-error-style |