diff options
Diffstat (limited to 'common')
| -rw-r--r-- | common/Makefile.common | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/common/Makefile.common b/common/Makefile.common index e324bd8..92ac79a 100644 --- a/common/Makefile.common +++ b/common/Makefile.common @@ -22,9 +22,10 @@ TEX_BIBS := $(subst $(space),$(comma),$(strip $(BIBS))) # Add a variable for specific options to add in the rst2latex command # -RST_OPTIONS ?= +EXTRA_RST_OPTIONS ?= -PACK = $(shell sed -e 's/\#.*$$//' -e '/^$$/d' resources/modules) +# Remove the comments and the empty lines from the module list file +PACK = $(shell sed -e 's/\#.*$$//' -e '/^\s$$/d' resources/modules) PACKAGES := $(subst $(space),$(comma),$(strip $(PACK))) tmp: @@ -40,7 +41,7 @@ tmp/%.tex: %.rst $(INCLUDED_PDF) $(SOURCES)| tmp --documentclass=extarticle \ --documentoption=12pt,A4,table \ --syntax-highlight=short \ - $(RST_OPTIONS) \ + $(EXTRA_RST_OPTIONS) \ --stylesheet=$(PACKAGES),$(TEX_STYLE) $< $@ sed -i -e 's/continued on next page/suite sur la page suivante/;s|^%$$||' $@ sed -i -e 's/admonition-/admonition/g' $@ |