diff options
Diffstat (limited to 'model_8/Makefile')
| -rwxr-xr-x | model_8/Makefile | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/model_8/Makefile b/model_8/Makefile index d77d559..eb751fe 100755 --- a/model_8/Makefile +++ b/model_8/Makefile @@ -1,11 +1,5 @@ include ../common/Makefile.common -tmp/%.tex: %.rst $(INCLUDED_TEX) $(SOURCES) | tmp - $$(command -v rst2latex rst2latex.py | head -n 1) \ +RST_OPTIONS = \ --no-section-numbering \ - --table-style=booktabs \ - --documentclass=article \ - --documentoption=12pt,A4,table \ - --syntax-highlight=short \ - --stylesheet=$(PACKAGES),$(TEX_STYLE) \ - $< $@ + --table-style=booktabs |