V_MAKEINDEX_0 = @echo " MAKEIDX $@";
run_pdflatex = $(V_LATEX)cd $(srcdir) && \
+ version=$$(echo '$(VERSION)' | sed 's/~/\\textasciitilde /g') && \
$(PDFLATEX) $(TEXFLAGS) \
--jobname=$(basename $1) \
- '\def\pkgversion{$(VERSION)}\input{$1}'
+ "\def\pkgversion{$$version}\input{$1}"
###--------------------------------------------------------------------------
### The manual.