aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2020-08-05 13:29:14 +0200
committerRobert Alessi <alessi@robertalessi.net>2020-08-05 13:29:14 +0200
commit56f470fca333e41c62f976db64efab40f91c1954 (patch)
treeb09af8dd4c77936c67e534681a628021fa6d47de /Makefile
parentc9d393cefb1046142a9fe57b0227ee8d3f5395c4 (diff)
downloadekdosis-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