|
ea744304b0
|
add docstrip formatter
|
2022-02-18 15:56:57 +01:00 |
|
|
55f1af8bb8
|
add nothing_formatter.py
|
2022-02-18 15:20:47 +01:00 |
|
|
5f78417413
|
add ins formatter
|
2022-02-18 15:16:01 +01:00 |
|
|
958ecb140f
|
add copy formatter
|
2022-02-18 11:32:48 +01:00 |
|
|
4c8d144e32
|
add verbose logging level
|
2022-02-18 11:18:28 +01:00 |
|
|
12aa945a9d
|
add logging of built files
|
2022-02-18 10:14:44 +01:00 |
|
|
065734a628
|
finer macro selection
|
2022-02-18 10:05:43 +01:00 |
|
|
a64f5a01bf
|
fix guard macro
|
2022-02-18 09:58:27 +01:00 |
|
|
9fc559cbaf
|
add begin / end implementation macros. fix some bugs
|
2022-02-18 09:50:22 +01:00 |
|
|
d1d6252e8b
|
implement correct dropping modes
|
2022-02-18 00:23:01 +01:00 |
|
|
74b185e35c
|
add more abstract version of single line macro
|
2022-02-18 00:01:16 +01:00 |
|
|
c73cbfffcf
|
fix wrong guard
|
2022-02-17 23:50:13 +01:00 |
|
|
234e3d9983
|
implement drv and ins file in dtx formatter
|
2022-02-17 23:46:32 +01:00 |
|
|
bde5c63b01
|
more context for errors
|
2022-02-17 23:27:47 +01:00 |
|
|
75e705c810
|
some better error handling
|
2022-02-17 23:16:41 +01:00 |
|
|
b70abdc286
|
add some error handling
|
2022-02-17 22:31:44 +01:00 |
|
|
a22c430555
|
fix typo
|
2022-02-17 22:31:29 +01:00 |
|
|
11c4c432e4
|
fix correct providing of class / package
|
2022-02-17 22:31:12 +01:00 |
|
|
9a31d695c8
|
fix some header errors
|
2022-02-17 22:30:51 +01:00 |
|
|
030d6906cd
|
fix padding in generic text
|
2022-02-17 21:51:03 +01:00 |
|
|
8a871e6f19
|
fix wrong ins_file text
|
2022-02-17 21:46:02 +01:00 |
|
|
f65610c06b
|
make padding in generic text optional
|
2022-02-17 21:44:34 +01:00 |
|
|
f2ba97cabe
|
fix some bugs related to macros
|
2022-02-17 21:39:01 +01:00 |
|
|
09bfa89dfe
|
let macros indicate if their replacement is done directly -> useful for singleLine macros
|
2022-02-17 21:13:27 +01:00 |
|
|
e1a663e301
|
fix wrong constant
|
2022-02-17 20:52:56 +01:00 |
|
|
adb168d453
|
add formatter macros for \begin{macrocode}
|
2022-02-17 20:46:39 +01:00 |
|
|
205dc4eeac
|
reformat file
|
2022-02-17 20:38:25 +01:00 |
|
|
94640f9eff
|
implement first version of dtx formatter
|
2022-02-17 20:38:04 +01:00 |
|
|
add194ce62
|
adjust INS_FILE
|
2022-02-17 20:37:52 +01:00 |
|
|
87666fbec6
|
move close output stream method to tex formatter
|
2022-02-17 20:37:38 +01:00 |
|
|
e4de1ceb7f
|
add meta mode to formatter
|
2022-02-17 20:37:00 +01:00 |
|
|
92be6e446c
|
better default for docstrip guards
|
2022-02-17 20:14:50 +01:00 |
|
|
ed004aaf33
|
add _get_provides_text method
|
2022-02-17 20:05:18 +01:00 |
|
|
f7575ccd0c
|
add driver and ins file generics
|
2022-02-17 20:03:21 +01:00 |
|
|
edacb9615c
|
add tex outtype to config
|
2022-02-17 20:03:00 +01:00 |
|
|
6181704a8d
|
fix writing repo status info to json file
|
2022-02-09 21:51:09 +01:00 |
|
|
038a3dca48
|
write git version info to version_info.json file.
fix big when collecting RepoStatusInfo
|
2022-02-09 21:49:28 +01:00 |
|
|
bcebdfd86f
|
annotate (rough) running times
|
2022-02-09 21:20:34 +01:00 |
|
|
f1dbc45f9c
|
lots of default macros
|
2022-02-09 21:11:46 +01:00 |
|
|
a50c4935be
|
correct header for expl3
|
2022-02-09 20:00:21 +01:00 |
|
|
8e115b46c2
|
add header to simple tex formatter
|
2022-02-09 19:50:49 +01:00 |
|
|
e760eaef6d
|
implement config begin and end macros to drop config at beginning of file
|
2022-02-09 19:39:27 +01:00 |
|
|
741662dbef
|
avoid duplicate logging
|
2022-02-09 19:25:44 +01:00 |
|
|
12a89f9560
|
add mode to tex formatters
|
2022-02-09 19:25:25 +01:00 |
|
|
e84030978c
|
read in FormattingConfig correctly
|
2022-02-09 19:14:00 +01:00 |
|
|
8a6bfef421
|
add default macro file (forgotten earlier)
|
2022-02-09 18:02:57 +01:00 |
|
|
3e6f2f99c3
|
rework format method to support multiple output files
|
2022-02-09 18:02:41 +01:00 |
|
|
6798962880
|
correct file extension handling for simple tex formatters
|
2022-02-09 17:42:56 +01:00 |
|
|
7a3fded422
|
implement naming scheme
|
2022-02-09 17:31:06 +01:00 |
|
|
65d2df0aa6
|
fix macro replacement bugs: basic macro replacement now working
|
2022-02-09 17:22:38 +01:00 |
|