diff options
Diffstat (limited to 'doc/arm/notes.conf')
-rw-r--r-- | doc/arm/notes.conf | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/arm/notes.conf b/doc/arm/notes.conf new file mode 100644 index 0000000..f8dd832 --- /dev/null +++ b/doc/arm/notes.conf @@ -0,0 +1,3 @@ +TexInputs: ../tex// +TexStyle: notestyle +XslParam: ../xsl/notes-param.xsl |