From: Nicola Fontana Date: Sun, 29 Dec 2013 13:01:31 +0000 (+0100) Subject: nodist: generate symbols with .mps extension X-Git-Tag: 0.7.5~47 X-Git-Url: https://repo.or.cz/w/adg.git/commitdiff_plain/2c6ea3c896e4fb9cb6162910d667b53262742b33 nodist: generate symbols with .mps extension To import graphics into LaTeX in an easier way, change the template file name generation in the MetaPost file to a more useful way. --- diff --git a/nodist/.gitignore b/nodist/.gitignore index 16a1eccc..409a9192 100644 --- a/nodist/.gitignore +++ b/nodist/.gitignore @@ -1,11 +1,4 @@ /adg.0 /adg.log -/symbols.0 -/symbols.1 -/symbols.2 -/symbols.3 -/symbols.4 -/symbols.5 -/symbols.6 -/symbols.7 +/*.mps /symbols.log diff --git a/nodist/symbols.mp b/nodist/symbols.mp index d6967e8d..7b074cc6 100644 --- a/nodist/symbols.mp +++ b/nodist/symbols.mp @@ -1,5 +1,7 @@ % Miscellaneous symbols +filenametemplate "%j-%c.mps"; + linecap := rounded; linejoin := rounded;