Skip to content
Browse files

Initial robustification of makePDF.py

  • Loading branch information...
1 parent 2ead27d commit 2fc0c80a8a8265722c19ce7d0e98594eea02cf12 @msiniscalchi msiniscalchi committed
Showing with 3 additions and 0 deletions.
  1. +3 −0 messages/7.txt
View
3 messages/7.txt
@@ -10,3 +10,6 @@ Bugs fixed:
- Robustified command and environment completion (C-l,c and C-l,e) so starred versions
of commands/environments are OK
+- Robustified makePDF.py; now it should always fail gracefully when it cannot parse tex file names,
+ and kindly ask the user to report the bug on GitHub :-) Note TODO: better filename regexp!
+

0 comments on commit 2fc0c80

Please sign in to comment.
Something went wrong with that request. Please try again.