;shake: webmanuals: move page toc below h1 again
To avoid extra toc items. Also added a class permitting manual-specific styling.
This commit is contained in:
		
							parent
							
								
									78e9f8877c
								
							
						
					
					
						commit
						8c890f845b
					
				
							
								
								
									
										7
									
								
								Shake.hs
									
									
									
									
									
								
							
							
						
						
									
										7
									
								
								Shake.hs
									
									
									
									
									
								
							| @ -521,12 +521,13 @@ main = do | ||||
|         liftIO $ writeFile out $ unlines [ | ||||
|            "<!-- " ++ "Generated by \"Shake webmanuals\" from " ++ unwords deps ++ " -->" | ||||
|           ,"<div class=\"docversions\"></div>" | ||||
|           ,"<div class=\"pagetoc\">" | ||||
|           ,"<!-- toc -->" | ||||
|           ,"</div>" | ||||
|           ,"" | ||||
|           ,"# " ++ heading | ||||
|           ,"" | ||||
|           ,"<div class=\"pagetoc manual\">" | ||||
|           ,"<!-- toc -->" | ||||
|           ,"</div>" | ||||
|           ,"" | ||||
|           ] | ||||
|         cmd Shell | ||||
|           m4 "-DWEBFORMAT -I" dir commonm4 commandsm4 packageversionm4 packagemandatem4 src "|" | ||||
|  | ||||
		Loading…
	
		Reference in New Issue
	
	Block a user