remove some hoogle workaround
This commit is contained in:
		
							parent
							
								
									d04a8dcd00
								
							
						
					
					
						commit
						4b77961380
					
				
							
								
								
									
										3
									
								
								Makefile
									
									
									
									
									
								
							
							
						
						
									
										3
									
								
								Makefile
									
									
									
									
									
								
							| @ -77,14 +77,11 @@ api-doc-with-source haddock: api-doc-dir colourised-source $(MAIN) | |||||||
| #--source-entity=src-%{MODULE/./-}.html#%N 
 | #--source-entity=src-%{MODULE/./-}.html#%N 
 | ||||||
| 
 | 
 | ||||||
| #generate a hoogle index
 | #generate a hoogle index
 | ||||||
| #uses system hoogle, works around http://code.google.com/p/ndmitchell/issues/detail?id=93
 |  | ||||||
| #to use: hoogle --data=hoogle/default ...
 |  | ||||||
| hoogleindex: $(MAIN) | hoogleindex: $(MAIN) | ||||||
| 	echo "Generating hoogle index" ; \
 | 	echo "Generating hoogle index" ; \
 | ||||||
| 	mkdir -p hoogle && \
 | 	mkdir -p hoogle && \
 | ||||||
| 	$(HADDOCK) -o hoogle --hoogle $^ && \
 | 	$(HADDOCK) -o hoogle --hoogle $^ && \
 | ||||||
| 	cd hoogle && \
 | 	cd hoogle && \
 | ||||||
| 	sed -i -e 's/^(_/-- (_/' main.txt && \
 |  | ||||||
| 	hoogle --convert=main.txt --output=default.hoo | 	hoogle --convert=main.txt --output=default.hoo | ||||||
| 
 | 
 | ||||||
| #set up the hoogle web interface
 | #set up the hoogle web interface
 | ||||||
|  | |||||||
		Loading…
	
		Reference in New Issue
	
	Block a user