diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2020-08-05 13:29:14 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2020-08-05 13:29:14 +0200 |
| commit | 56f470fca333e41c62f976db64efab40f91c1954 (patch) | |
| tree | b09af8dd4c77936c67e534681a628021fa6d47de /Makefile | |
| parent | c9d393cefb1046142a9fe57b0227ee8d3f5395c4 (diff) | |
| download | ekdosis-56f470fca333e41c62f976db64efab40f91c1954.tar.gz | |
newfunction checkxmlid(id). it should be some way extended to \label, \cite and the like
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions