| Author | DaveJarvis <email> |
|---|---|
| Date | 2021-12-12 20:07:59 GMT-0800 |
| Commit | b540197890c5e26ef4164f261aefc9a538fa34ed |
| Parent | ef5ccf3 |
| Delta | 2 lines added, 2 lines removed |
| * editor's directory; {@code false} means to export only the | ||
| * actively edited file. | ||
| - */ | ||
| + * | ||
| private void file_export_pdf( final Path theme, final boolean concat ) { | ||
| if( Typesetter.canRun() ) { | ||
| file_export( MARKDOWN_PLAIN ); | ||
| } | ||
| - | ||
| +*/ | ||
| /** | ||
| * Concatenates all the files in the same directory as the given file into | ||