chiark / gitweb /
strayman.dtx (\part): Don't establish the label reference in a block.
[strayman] / .gitignore
index 74e44b383f8fd08259d70d87492d3f18a3645788..52143d71ceb2bd08b1468bac6ce3499ab35ec315 100644 (file)
@@ -32,3 +32,4 @@ build
 gpl.tex
 install-sh
 missing
+auto-version