diff options
| -rw-r--r-- | manual/LaTeX.Rules | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/LaTeX.Rules b/manual/LaTeX.Rules index 09404eab5e..5a1e58589a 100644 --- a/manual/LaTeX.Rules +++ b/manual/LaTeX.Rules @@ -267,7 +267,7 @@ $(PDF_FILE) : %.pdf : $(TEX_FILES) $(MONITOR_FILES) $(GRAPHIC_FILES) $(XFIG_TEX) # %.aux %.idx : $(XFIG_TEX) - $(LATEX) $* + $(LATEX) $(LATEXOPTS) $* # # Distill xfig .fig files into .fig.tex and either .fig.pdf or .fig.ps |