Fix 'tokens not allowed' warnings when building PDF.

Author: zygoloid

source/std.tex

@@ -56,6 +56,14 @@
 \makeindex[grammarindex]
 \makeindex[impldefindex]
 
+%%--------------------------------------------------
+%% fix interaction between hyperref and other
+%% commands
+\pdfstringdefDisableCommands{\def\smaller#1{#1}}
+\pdfstringdefDisableCommands{\def\textbf#1{#1}}
+\pdfstringdefDisableCommands{\def\raisebox#1{}}
+\pdfstringdefDisableCommands{\def\hspace#1{}}
+
 %%--------------------------------------------------
 %% add special hyphenation rules
 \hyphenation{tem-plate ex-am-ple in-put-it-er-a-tor name-space name-spaces}