summaryrefslogtreecommitdiff
path: root/fonts/bbding/bbding.ins
diff options
context:
space:
mode:
Diffstat (limited to 'fonts/bbding/bbding.ins')
-rw-r--r--fonts/bbding/bbding.ins11
1 files changed, 11 insertions, 0 deletions
diff --git a/fonts/bbding/bbding.ins b/fonts/bbding/bbding.ins
new file mode 100644
index 0000000000..490ed3a7ce
--- /dev/null
+++ b/fonts/bbding/bbding.ins
@@ -0,0 +1,11 @@
+% Driverprogram for bbding.dtx
+\def\batchfile{bbding.ins}
+\input docstrip
+
+\keepsilent
+
+\generateFile{bbding.sty}{f}{\from{bbding.dtx}{sty}}
+% First the header and then all the definitions
+
+\generateFile{Uding.fd}{f}{\from{bbding.dtx}{fd}}
+% And at last the font definitions file.