Merge branch 'master' of /home/mdw/public-git/strayman

* 'master' of /home/mdw/public-git/strayman:
  infra: Expunge revision history clutter.
  Ignore boring files.
  Build the package before the documentation.
  infra: Clean up project setup

diff --git a/strayman.dtx b/strayman.dtx
index 3c41f04..4807383 100644 (file)
--- a/strayman.dtx
+++ b/strayman.dtx
@@ -35,7 +35,7 @@
 %<+strayman>              [2003/09/04 1.10 Straylight document class]
 % \end{meta-comment}
 %
-% \CheckSum{2934}
+% \CheckSum{2936}
 %% \CharacterTable
 %%  {Upper-case    \A\B\C\D\E\F\G\H\I\J\K\L\M\N\O\P\Q\R\S\T\U\V\W\X\Y\Z
 %%   Lower-case    \a\b\c\d\e\f\g\h\i\j\k\l\m\n\o\p\q\r\s\t\u\v\w\x\y\z
@@ -839,8 +839,8 @@
 \def\@evenhead{\thepage\hfil\slshape\leftmark}%
 \def\@oddhead{{\slshape\rightmark}\hfil\thepage}%
 \let\@mkboth\markboth
-\def\chaptermark##1{\markboth {##1}{}}%
-\def\sectionmark##1{\markright {##1}}%
+\def\chaptermark##1{\markboth {\thechapter. ##1}{}}%
+\def\sectionmark##1{\markright {\thesection. ##1}}%
 }
 %
 \def\ps@myheadings{%